French
Perspectives on the History of Mathematical Logic
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 The Problem of Elimination in the Algebra of Logic
-
Altmetric BadgeChapter 2 Peirce and the Law of Distribution
-
Altmetric BadgeChapter 3 The First Russell Paradox
-
Altmetric BadgeChapter 4 Principia Mathematica and the Development of Automated Theorem Proving
-
Altmetric BadgeChapter 5 Oswald Veblen and the Origins of Mathematical Logic at Princeton
-
Altmetric BadgeChapter 6 The Löwenheim-Skolem Theorem, Theories of Quantification, and Proof Theory
-
Altmetric BadgeChapter 7 The Reception of Gödel’s Incompleteness Theorems
-
Altmetric BadgeChapter 8 Gödel’s and Some Other Examples of Problem Transmutation
-
Altmetric BadgeChapter 9 The Development of Self-Reference: Löb’s Theorem
-
Altmetric BadgeChapter 10 The Unintended Interpretations of Intuitionistic Logic
-
Altmetric BadgeChapter 11 The Writing of Introduction to Metamathematics
-
Altmetric BadgeChapter 12 In Memoriam: Haskell Brooks Curry
-
Altmetric BadgeChapter 13 The Work of J. Richard Büchi