BibTeX
@MISC{Oosten_gödel’sincompleteness,
author = {J. Van Oosten},
title = {Gödel’s Incompleteness Theorems},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
1.3 Structures for first order logic.................. 7
Citations
| 63 | 1928], Grundzüge der theoretischen Logik - Hilbert, Ackermann |
| 53 | Grundlagen der Mathematik - Hilbert, Bernays - 1934 |
| 37 | Classical Recursion Theory, volume 125 - Odifreddi - 1989 |
| 7 | Logical Number Theory I, An Introduction - Smorynski - 1991 |
| 5 | An introduction to Gödel’s theorems - Smith - 2007 |
| 3 | Gödel’s Incompleteness Theorems, Volume 19 of Oxford Logic Guides - Smullyan - 1992 |
| 2 | reprinted by - McGraw-Hill - 1967 |
| 1 | Turing: the enigma. Random House - Alan - 1992 |
| 1 | Models of Peano Arithmetic, volume 15 of Oxford Logic Guides - Peters - 1997 |
| 1 | Classical Recursion Theory II, volume 143 of Studies in Logic - Odifreddi - 1999 |
