103 results
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
27 - Modal Logic and Provability
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 327-340
-
- Chapter
- Export citation