↓ 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 6: The Löwenheim-Skolem Theorem, Theories of Quantification, and Proof Theory
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
The Löwenheim-Skolem Theorem, Theories of Quantification, and Proof Theory
Chapter number 6
Book title
Perspectives on the History of Mathematical Logic
Published by
Birkhäuser Boston, January 2008
DOI 10.1007/978-0-8176-4769-8_6
Book ISBNs
978-0-8176-4768-1, 978-0-8176-4769-8
Authors

Irving H. Anellis, Anellis, Irving H.

View on publisher site

This page is provided by Altmetric.