X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
Type of Medium
Language
Region
Library
Years
Person/Organisation
Subjects(RVK)
Keywords
Access
  • 1
    Online Resource
    Online Resource
    Logic from Russell to Church / (2009)
    Amsterdam :North Holland,
    Details
    UID:
    almafu_BV042317190
    Format: 1 Online-Ressource (XII, 1056 S.).
    ISBN: 978-0-444-51620-6 , 0-444-51620-4
    Series Statement: Handbook of the history of logic 5
    Note: This volume is number five in the eleven volume Handbook of the History of Logic. It covers the first fifty years of the development of mathematical logic in the twentieth century, and concentrates on the achievements of the great names of the period; Russell, Post, Gödel, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts ; set theory, model theory, proof theory and recursion theory. Collectively this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, artificial intelligence, for whom the historical background of his or her work is a salient consideration. - Includes bibliographical references and index
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-0-444-51620-6
    Language: English
    Subjects: Mathematics , Philosophy
    RVK:
    CC 2000
    RVK:
    SG 590
    Keywords: Logik ; Induktive Logik ; Aufsatzsammlung ; Aufsatzsammlung ; Aufsatzsammlung
    URL: Volltext  (URL des Erstveröffentlichers)
    URL: Volltext  (URL des Erstveröffentlichers)
    URL: Volltext  (URL des Erstveröffentlichers)
    Author information: Gabbay, Dov M. 1945-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    FU Berlin
    HTW Berlin
    BTU Cottbus
  • 2
    Online Resource
    Online Resource
    Logic from Russell to Church / (2009)
    Amsterdam ; : Elsevier,
    Details
    UID:
    almahu_9948025896902882
    Format: 1 online resource (1069 p.)
    Edition: 1st ed.
    ISBN: 1-282-16820-7 , 9786612168208 , 0-08-088547-0
    Series Statement: Handbook of the history of logic ; v. 5
    Content: This volume is number five in the eleven volume Handbook of the History of Logic. It covers the first fifty years of the development of mathematical logic in the twentieth century, and concentrates on the achievements of the great names of the period ? Russell, Post, Gödel, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts ? set theory, model theory, proof theory and recursion theory. Collectively this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field,
    Note: Description based upon print version of record. , Front Cover; Logic from Russell to Church; Contents; Preface; List of Contributors; Chapter 1. Bertrand Russell's Logic; Chapter 2. Logic for Meinongian Object Theory Semantics; Chapter 3. The Logic of Brouwer and Heyting; Chapter 4. Thoralf Albert Skolem; Chapter 5. Jacques Herbrand: Life, Logic, and Automated Deduction; Chapter 6. The Logic of the Tractatus; Chapter 7. Lesniewski's Logic; Chapter 8. Hilbert's Proof Theory; Chapter 9. Hilbert's Epsilon Calculus and its Successors; Chapter 10. Gödel's Logic; Chapter 11. Tarski's Logic; Chapter 12. Emil Post; Chapter 13. Gentzen's Logic , Chapter 14. Lambda-calculus and Combinators in the 20th CenturyChapter 15. The Logic of Church and Curry; Chapter 16. Paradoxes, Self-reference and Truth in the 20th Century; Index , English
    Additional Edition: ISBN 0-444-51620-4
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    HU Berlin
    FU Berlin
    Charité
  • 3
    Book
    Book
    Logic from Russell to Church (2010)
    Amsterdam [u.a.] : Elsevier North Holland
    Details
    UID:
    gbv_640221548
    Format: XII, 1056 S. , graph. Darst.
    Edition: Reprinted
    ISBN: 9780444516206
    Series Statement: Handbook of the history of logic / ed. by Dov M. Gabbay and John Woods Vol. 5
    Note: Literaturangaben
    Language: English
    Author information: Gabbay, Dov M. 1945-
    Author information: Woods, John 1937-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    UB Potsdam get availability status
  • 4
    Book
    Book
    Logic from Russell to Church (2009)
    Amsterdam [u.a.] : Elsevier North Holland
    Details
    UID:
    gbv_576918733
    Format: XII, 1056 S. , graph. Darst.
    Edition: 1. ed.
    ISBN: 0444516204 , 9780444516206
    Series Statement: Handbook of the history of logic / ed. by Dov M. Gabbay and John Woods Vol. 5
    Note: Literaturangaben
    Additional Edition: Erscheint auch als Online-Ausgabe Logic from Russell to Church Amsterdam [u.a.] : Elsevier North Holland, 2009 ISBN 9780444516206
    Additional Edition: ISBN 0080885470
    Additional Edition: ISBN 9780080885476
    Language: English
    Subjects: Philosophy
    RVK:
    CC 2400
    URL: Inhaltstext
    Author information: Gabbay, Dov M. 1945-
    Author information: Woods, John 1937-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
  • 5
    Book
    Book
    Handbook of the history of logic.; 5,: Logic from Russell to Church / (2010)
    Show associated volumes
    Details
    UID:
    almahu_BV040247772
    Format: XII, 1056 S.
    Edition: 1. ed., repr.
    ISBN: 978-0-444-51620-6
    Language: English
    Subjects: Philosophy
    RVK:
    CC 2000
    Keywords: Logik ; Induktive Logik ; Aufsatzsammlung
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    HU Berlin get availability status
  • 6
    Book
    Book
    Handbook of the history of logic.; 5,: Logic from Russell to Church / (2009)
    Show associated volumes
    Details
    UID:
    almahu_BV035559268
    Format: XII, 1056 S.
    Edition: 1. ed.
    ISBN: 978-0-444-51620-6
    Language: English
    Subjects: Philosophy
    RVK:
    CC 2000
    Keywords: Logik ; Induktive Logik ; Aufsatzsammlung
    URL: Inhaltsverzeichnis
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    HU Berlin get availability status
  • 7
    Online Resource
    Online Resource
    Handbook of the history of logic (2004)
    Amsterdam : Elsevier
    Details
    UID:
    b3kat_BV039830471
    Format: 1 Online-Ressource (1 online resource (v. 〈1, 4〉))
    Edition: 1st ed
    ISBN: 9780444516107 , 0444516107 , 0080463037 , 9780080463032 , 0444515968 , 9780444515964 , 0444504664 , 9780444504661 , 9780444516251 , 0444516255 , 0444516115 , 9780444516114 , 9780444516206 , 0444516204 , 9780444516213 , 0444516212 , 9780444516220 , 0444516220 , 9780444516237 , 0444516239
    Note: The present volume of the Handbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, and other that would anticipate, the century's later capitulation to the mathematization of logic. British Logic in the Nineteenth Century is indispensable reading and a definitive research resource for anyone with an interest in the history of logic. - Detailed and comprehensive chapters covering the entire range of modal logic - Contains the latest scholarly discoveries and interpretative insights that answer many questions in the field of logic , 1. "Bentham's Logic" by Charissa Varma and Gordon McOuat -- 2. "Coleridge's Logic" by Timothy Milnes -- 3. "Whately's Logic" by James Van Evra -- 4. "Hamilton's Logic" by Ralph Jessop -- 5. "Whewell's Logic" by Laura Snyder -- 6. "Mill's Logic" by Fred Wilson -- 7. "DeMorgan's Logic" by Michael Hobards & Joan Richards -- 8. "Boole's Logic" by Dale Jacquette -- 9. "French Logique and British Logic: On the Origins of Augustus deMorgan early Logical Enquiries 1805-1835" by Maria Panteki -- 10. "Lewis Carroll's Logic" by Amirouche Moktefi -- 11. "Venn's Logic" by James Van Evra -- 12. "Jevons' Logic" by Bert Mosselmans and Ard Van Moer -- 13. "MacColl's Logic" by Shahid Rahman -- 14. "The Idealists" by David Sullivan , Includes bibliographical references and index , v. 1. Greek, Indian, and Arabic logic -- v. 4. British logic in the nineteenth century
    Language: English
    Subjects: Mathematics , Philosophy
    RVK:
    CC 2000
    RVK:
    SG 590
    Keywords: Logik ; Geschichte ; Induktive Logik ; Geschichte ; Aufsatzsammlung
    URL: Volltext
    URL: Volltext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    TH Wildau
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages