↓ Skip to main content
What is this page? Embed badge

Perspectives on the History of Mathematical Logic

Overview of attention for book
Cover of 'Perspectives on the History of Mathematical Logic'

Table of Contents

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

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
2 Mendeley
Summary Dimensions citations
So far, Dimensions has found 7 publications that cite this research output.

7

The most recent citing publications are shown below. View all 7 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.