4059 results in Logic
29 - µ-Recursive functions
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp 265-276
-
- Chapter
- Export citation
11 - Primitive recursive functions
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp 83-98
-
- Chapter
- Export citation
Contents
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp vii-xii
-
- Chapter
- Export citation
36 - Looking back
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp 342-343
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp i-vi
-
- Chapter
- Export citation
1 - What Gödel's Theorems say
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp 1-7
-
- Chapter
- Export citation
12 - Capturing p.r. functions
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp 99-105
-
- Chapter
- Export citation
22 - Second-order arithmetics
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp 186-198
-
- Chapter
- Export citation
16 - PA is incomplete
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp 138-146
-
- Chapter
- Export citation
26 - Deriving the derivability conditions
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp 232-239
-
- Chapter
- Export citation
10 - First-order Peano Arithmetic
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp 71-82
-
- Chapter
- Export citation
4 - Capturing numerical properties
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp 28-36
-
- Chapter
- Export citation
35 - Proving the Thesis?
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp 324-341
-
- Chapter
- Export citation
31 - Turing machines
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp 287-297
-
- Chapter
- Export citation
17 - Gödel's First Theorem
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp 147-152
-
- Chapter
- Export citation
5 - The truths of arithmetic
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp 37-42
-
- Chapter
- Export citation
6 - Sufficiently strong arithmetics
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp 43-46
-
- Chapter
- Export citation
18 - Interlude: About the First Theorem
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp 153-161
-
- Chapter
- Export citation
15 - The arithmetization of syntax
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp 124-137
-
- Chapter
- Export citation
28 - Interlude: About the Second Theorem
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 June 2012
- Print publication:
- 26 July 2007, pp 252-264
-
- Chapter
- Export citation