122 results
On “seeing” the truth of the Gödel sentence
-
- Journal:
- Behavioral and Brain Sciences / Volume 13 / Issue 4 / December 1990
- Published online by Cambridge University Press:
- 19 May 2011, pp. 655-656
-
- Article
- Export citation
21 - Monadic and Dyadic Logic
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 270-278
-
- Chapter
- Export citation
Contents
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp vii-x
-
- Chapter
- Export citation
BASIC METALOGIC
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 99-100
-
- Chapter
- Export citation
COMPUTABILITY THEORY
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 1-2
-
- Chapter
- Export citation
9 - A Précis of First-Order Logic: Syntax
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 101-113
-
- Chapter
- Export citation
10 - A Précis of First-Order Logic: Semantics
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 114-125
-
- Chapter
- Export citation
8 - Equivalent Definitions of Computability
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 88-98
-
- Chapter
- Export citation
7 - Recursive Sets and Relations
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 73-87
-
- Chapter
- Export citation
18 - The Unprovability of Consistency
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 232-240
-
- Chapter
- Export citation
FURTHER TOPICS
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 241-242
-
- Chapter
- Export citation
24 - Decidability of Arithmetic without Multiplication
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 295-301
-
- Chapter
- Export citation
26 - Ramsey's Theorem
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 319-326
-
- Chapter
- Export citation
11 - The Undecidability of First-Order Logic
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 126-136
-
- Chapter
- Export citation
12 - Models
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 137-152
-
- Chapter
- Export citation
20 - The Craig Interpolation Theorem
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 260-269
-
- Chapter
- Export citation
23 - Arithmetical Definability
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 286-294
-
- Chapter
- Export citation
Index
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 343-350
-
- Chapter
- Export citation
6 - Recursive Functions
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 63-72
-
- Chapter
- Export citation
2 - Diagonalization
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 16-22
-
- Chapter
- Export citation