Perspectives on the History of Mathematical Logic (English)
- New search for: Drucker, Thomas
- New search for: Drucker, Thomas
1991
-
ISBN:
- Book / Electronic Resource
-
Title:Perspectives on the History of Mathematical Logic
-
Contributors:Drucker, Thomas ( author )
-
Published in:
-
Publisher:
- New search for: Birkhäuser Boston
-
Place of publication:Boston, MA
-
Publication date:1991
-
Size:Online-Ressource (XXV, 195 p, online resource)
-
Remarks:Campusweiter Zugriff (Universität Hannover). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.
-
ISBN:
-
DOI:
-
Type of media:Book
-
Type of material:Electronic Resource
-
Language:English
- New search for: 510.9 / 510
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
The Problem of Elimination in the Algebra of LogicGreen, Judy et al. | 1991
- 10
-
Peirce and the Law of DistributionHouser, Nathan et al. | 1991
- 33
-
The First Russell ParadoxAnellis, Irving H. et al. | 1991
- 47
-
Principia Mathematica and the Development of Automated Theorem ProvingO’Leary, Daniel J. et al. | 1991
- 54
-
Oswald Veblen and the Origins of Mathematical Logic at PrincetonAspray, William et al. | 1991
- 71
-
The Löwenheim-Skolem Theorem, Theories of Quantification, and Proof TheoryAnellis, Irving H. et al. | 1991
- 84
-
The Reception of Gödel’s Incompleteness TheoremsDawson, John W. Jr. et al. | 1985
- 101
-
Gödel’s and Some Other Examples of Problem TransmutationWang, Hao et al. | 1991
- 110
-
The Development of Self-Reference: Löb’s TheoremSmoryński, C. et al. | 1991
- 134
-
The Unintended Interpretations of Intuitionistic LogicRuitenburg, Wim et al. | 1991
- 161
-
The Writing of Introduction to MetamathematicsKleene, Stephen C. et al. | 1991
- 169
-
In Memoriam: Haskell Brooks CurrySeldin, Jonathan P. et al. | 1991
- 176
-
The Work of J. Richard BüchiSiefkes, Dirk et al. | 1991