You are here

Perspectives in the History of Mathematical Logic

Thomas Drucker, editor
Publisher: 
Birkhäuser
Publication Date: 
2008
Number of Pages: 
195
Format: 
Paperback
Series: 
Modern Birkhäuser Classics
Price: 
39.95
ISBN: 
9780817647681
Category: 
Anthology
We do not plan to review this book.

Acknowledgements.- Contributors.- Jean van Heijenoort(1912-1986).- Introduction.- The Problem of Elimination in the Algebra of Logic.- Peirce and the Law of Distribution.- The First Russell Paradox.- Principia Mathematica and the Development of Automated Theorem Proving.- Oswald Veblen and the origins of Mathematical Logic at Princeton.- The Löwenheim-Skolem Theorem, Theories of Quantifications, and Proof Theory.- The Reception of Gödel’s Incompleteness Theorems.- Gödel’s and Some Other Examples of problem Transmutation.- The Development of Self-Reference: Löb’s Theorem.- The Unintended Interpretation of Intuitionistic Logic.- The Writing of Introduction to Metamathematics.- In Memoriam: Haskell Brooks Curry.- The Work of J. Richard Büchi.- Index Nominum

Dummy View - NOT TO BE DELETED