↓ Skip to main content
Altmetric
What is this page?
Embed badge
Share
Share on Twitter
Share on Facebook
Share by email
Perspectives on the History of Mathematical Logic
Overview of attention for book
Table of Contents
Altmetric Badge
Book Overview
Altmetric Badge
Chapter 1
The Problem of Elimination in the Algebra of Logic
Altmetric Badge
Chapter 2
Peirce and the Law of Distribution
Altmetric Badge
Chapter 3
The First Russell Paradox
Altmetric Badge
Chapter 4
Principia Mathematica and the Development of Automated Theorem Proving
Altmetric Badge
Chapter 5
Oswald Veblen and the Origins of Mathematical Logic at Princeton
Altmetric Badge
Chapter 6
The Löwenheim-Skolem Theorem, Theories of Quantification, and Proof Theory
Altmetric Badge
Chapter 7
The Reception of Gödel’s Incompleteness Theorems
Altmetric Badge
Chapter 8
Gödel’s and Some Other Examples of Problem Transmutation
Altmetric Badge
Chapter 9
The Development of Self-Reference: Löb’s Theorem
Altmetric Badge
Chapter 10
The Unintended Interpretations of Intuitionistic Logic
Altmetric Badge
Chapter 11
The Writing of Introduction to Metamathematics
Altmetric Badge
Chapter 12
In Memoriam: Haskell Brooks Curry
Altmetric Badge
Chapter 13
The Work of J. Richard Büchi
Overall attention for this book and its chapters
Altmetric Badge
Mentioned by
syllabi
1
institution with syllabi
wikipedia
3
Wikipedia pages
Readers on
mendeley
9
Mendeley
Book overview
1. The Problem of Elimination in the Algebra of Logic
2. Peirce and the Law of Distribution
3. The First Russell Paradox
4. Principia Mathematica and the Development of Automated Theorem Proving
5. Oswald Veblen and the Origins of Mathematical Logic at Princeton
6. The Löwenheim-Skolem Theorem, Theories of Quantification, and Proof Theory
7. The Reception of Gödel’s Incompleteness Theorems
8. Gödel’s and Some Other Examples of Problem Transmutation
9. The Development of Self-Reference: Löb’s Theorem
10. The Unintended Interpretations of Intuitionistic Logic
11. The Writing of Introduction to Metamathematics
12. In Memoriam: Haskell Brooks Curry
13. The Work of J. Richard Büchi
Summary
Syllabi
Wikipedia
This data is correct as of December 2015 - for more up to date information, please visit
https://opensyllabus.org/
So far, Altmetric has seen this research output assigned in
2
syllabi from
1
institutions on Open Syllabus Project.
Institution
Syllabi count
Course subject areas covered
Unknown
2
Unknown