| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910154754303321 |
|
|
Autore |
Church Alonzo |
|
|
Titolo |
Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Princeton, NJ : , : Princeton University Press, , [2016] |
|
©1991 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (389 pages) |
|
|
|
|
|
|
Collana |
|
Princeton Mathematical Series ; ; 13 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic, Symbolic and mathematical |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Frontmatter -- Preface -- Contents -- Introduction -- I. The Propositional Calculus -- II. The Propositional Calculus (Continued) -- III. Functional Calculi of First Order -- IV. The Pure Functional Calculus of First Order -- V. Functional Calculi of Second Order -- Index of Definitions -- Index of Authors -- Errata |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, The Calculi of Lambda-Conversion (1941), established an invaluable tool that computer scientists still use today. Even beyond the accomplishment of that book, however, his second Princeton book, Introduction to Mathematical Logic, defined its subject for a generation. Originally published in Princeton's Annals of Mathematics Studies series, this book was revised in 1956 and reprinted a third time, in 1996, in the Princeton Landmarks in Mathematics series. Although new results in mathematical logic have been developed and other textbooks have been published, it remains, sixty years later, a basic source for understanding formal logic. Church was one of the principal founders of the Association for Symbolic Logic; he founded the Journal of Symbolic Logic in 1936 and remained an editor until 1979 At his death in 1995, Church was still regarded as the |
|
|
|
|
|
|
|
|
|
|
|
|
|
greatest mathematical logician in the world. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910682516303321 |
|
|
Autore |
Kucirkova Natalia |
|
|
Titolo |
How and Why to Read and Create Children's Digital Books : a guide for primary practitioners / / Natalia Kucirkova |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, England : , : UCL Press, , 2018 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xiii, 185 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Reading (Early childhood) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
How and Why to Read and Create Children's Digital Books outlines effective ways of using digital books in early years and primary classrooms, and specifies the educational potential of using digital books and apps in physical spaces and virtual communities. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Cover; Half Title; Title Page; Copyright Page; Contents; List of figures; Preface; Acknowledgements; 1. Introduction; 2. Summary of research on children's digital books; 3. Children's digital books: where to find them and how to evaluate them; 4. Using digital books to support children's language and literacies; 5. Using digital books to support individual children; 6. Children as authors of digital books; 7. Teachers as authors of children's digital books; 8. Parents as authors of children's digital books; 9. Digital libraries and library management systems 10. Innovative approaches to support personalised multimedia story-makingConclusion; References; Index. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910789066203321 |
|
|
Autore |
Markantonatos Andreas |
|
|
Titolo |
Oedipus at Colonus [[electronic resource] ] : Sophocles, Athens, and the world / / by Andreas Markantonatos |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; New York, : Walter de Gruyter, 2007 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (370 p.) |
|
|
|
|
|
|
Collana |
|
Untersuchungen zur antiken Literatur und Geschichte ; ; 87 |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Oedipus (Greek mythology) in literature |
Narration (Rhetoric) - History - To 1500 |
Rhetoric, Ancient |
Tragedy |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Front matter -- Preface -- Contents -- Introduction -- Chapter 1. The Poet, the Polis and the Play -- Chapter 2. Multiple Stories: The Oedipus Myth -- Chapter 3. Sophocles and Oedipus: The Quest for Athens -- Chapter 4. Religion and History: The Future of Athens -- Chapter 5. Tragic Intertextuality: Hope and Fear -- Chapter 6. Influence and Performance: Oedipus and the World -- Conclusion -- General Index -- Index of Greek Words -- Index of Oedipus at Colonus Passages |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book aims to offer a contemporary literary interpretation of the play, including a readable discussion of its underlying historical, religious, moral, social, and mythical issues. Also, it discusses the most recent interpretative scholarship on the play, the main intertextual affiliations with earlier Thebes-related tragedies, especially focusing on Sophocles' Antigone and Oedipus Tyrannus, and the literature and performance reception of the play; it contains an up-to-date bibliography and detailed indices. The book won the Academy of Athens Great Award for the Best Monograph in Classical Philology for 2008. |
|
|
|
|
|
|
|
| |