✦ LIBER ✦

[Handbook of the History of Logic] Logic from Russell to Church Volume 5 || The Logic of Brouwer and Heyting

✍ Scribed by Moschovakis, Joan Rand

Book ID: 120710583
Publisher: Elsevier
Year: 2009
Tongue: English
Weight: 393 KB
Category: Article
ISBN: 0444516204
ISSN: 1874-5857
DOI: 10.1016/S1874-5857(09)70007-X

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Handbook of the History of Logic] Logic

[Handbook of the History of Logic] Logic from Russell to Church Volume 5 || Lambda-Calculus and Combinators in the 20th Century

✍ Cardone, Felice 📂 Article 📅 2009 🏛 Elsevier 🌐 English ⚖ 742 KB

This volume is number five in the 11-volume *Handbook of the History of Logic.* It covers the first 50 years of the development of mathematical logic in the 20th century, and concentrates on the achievements of the great names of the period--Russell, Post, Gödel, Tarski, Church, and the like. This w

Handbook of the History of Logic. Volume

Handbook of the History of Logic. Volume 02: Mediaeval and Renaissance Logic

✍ Dov M. Gabbay, John Woods (eds.) 📂 Library 📅 2008 🏛 Elsevier 🌐 English ⚖ 5 MB

Medieval and Renaissance Logic is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and AI, linguistics, cognitive scie

Handbook of the History of Logic. Volume

Handbook of the History of Logic. Volume 03: The Rise of Modern Logic: From Leibniz to Frege

✍ Dov M. Gabbay, John Woods (eds.) 📂 Library 📅 2004 🏛 Elsevier 🌐 English ⚖ 6 MB

With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the earliness and persistence of

Handbook of the History of Logic. Volume

Handbook of the History of Logic. Volume 01: Greek, Indian and Arabic Logic

✍ Dov M. Gabbay, John Woods (eds.) 📂 Library 📅 2004 🏛 Elsevier 🌐 English ⚖ 5 MB

Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Lo

Handbook of the History of Logic. Volume

Handbook of the History of Logic. Volume 07: Logic and the Modalities in the Twentieth Century

✍ Dov M. Gabbay, John Woods (eds.) 📂 Library 📅 2006 🏛 Elsevier 🌐 English ⚖ 6 MB

Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and artificial in

[Handbook of the History of Logic] Logic

[Handbook of the History of Logic] Logic: A History of its Central Concepts Volume 11 || A History of Quantification

✍ Bonevac, Daniel 📂 Article 📅 2012 🏛 Elsevier 🌐 English ⚖ 397 KB