4059 results in Logic
Bibliography
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 372-382
-
- Chapter
- Export citation
22 - Gödel's First Theorem
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 161-166
-
- Chapter
- Export citation
15 - LA can express every p.r. function
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 113-118
-
- Chapter
- Export citation
6 - The truths of arithmetic
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 46-48
-
- Chapter
- Export citation
17 - Q is p.r. adequate
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 124-129
-
- Chapter
- Export citation
2 - Functions and enumerations
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 8-13
-
- Chapter
- Export citation
25 - Rosser's proof
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 185-190
-
- Chapter
- Export citation
Contents
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp vii-xii
-
- Chapter
- Export citation
40 - Undecidability and incompleteness
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 300-309
-
- Chapter
- Export citation
44 - The Church–Turing Thesis
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 338-347
-
- Chapter
- Export citation
24 - The Diagonalization Lemma
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 177-184
-
- Chapter
- Export citation
38 - μ-Recursive functions
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 285-296
-
- Chapter
- Export citation
12 - IΔ0, an arithmetic with induction
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 83-89
-
- Chapter
- Export citation
39 - Q is recursively adequate
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 297-299
-
- Chapter
- Export citation
14 - Primitive recursive functions
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 97-112
-
- Chapter
- Export citation
23 - Interlude: About the First Theorem
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 167-176
-
- Chapter
- Export citation
21 - PA is incomplete
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 152-160
-
- Chapter
- Export citation
27 - Tarski's Theorem
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 197-200
-
- Chapter
- Export citation
7 - Sufficiently strong arithmetics
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 49-52
-
- Chapter
- Export citation
45 - Proving the Thesis?
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 348-366
-
- Chapter
- Export citation