4059 results in Logic
Contents
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp vii-ix
-
- Chapter
- Export citation
16 - Representability of Recursive Functions
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 199-220
-
- Chapter
- Export citation
24 - Decidability of Arithmetic without Multiplication
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 295-301
-
- Chapter
- Export citation
17 - Indefinability, Undecidability, Incompleteness
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 221-232
-
- Chapter
- Export citation
Hints for Selected Problems
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 341-347
-
- Chapter
- Export citation
25 - Nonstandard Models
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 302-318
-
- Chapter
- Export citation
Preface
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp x-xii
-
- Chapter
- Export citation
13 - The Existence of Models
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 153-165
-
- Chapter
- Export citation
8 - Equivalent Definitions of Computability
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 88-98
-
- Chapter
- Export citation
20 - The Craig Interpolation Theorem
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 260-269
-
- Chapter
- Export citation
15 - Arithmetization
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 187-198
-
- Chapter
- Export citation
5 - Abacus Computability
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 45-62
-
- Chapter
- Export citation
18 - The Unprovability of Consistency
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 233-240
-
- Chapter
- Export citation
26 - Ramsey's Theorem
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 319-326
-
- Chapter
- Export citation
11 - The Undecidability of First-Order Logic
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 126-136
-
- Chapter
- Export citation
9 - A Précis of First-Order Logic: Syntax
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 101-113
-
- Chapter
- Export citation
3 - Turing Computability
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 23-34
-
- Chapter
- Export citation
21 - Monadic and Dyadic Logic
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 270-278
-
- Chapter
- Export citation
14 - Proofs and Completeness
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 166-186
-
- Chapter
- Export citation
22 - Second-Order Logic
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 279-285
-
- Chapter
- Export citation