4059 results in Logic
4 - Uncomputability
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 35-44
-
- Chapter
- Export citation
19 - Normal Forms
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 243-259
-
- Chapter
- Export citation
13 - The Existence of Models
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 153-165
-
- Chapter
- Export citation
3 - Turing Computability
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 23-34
-
- Chapter
- Export citation
16 - Representability of Recursive Functions
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 199-219
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp i-vi
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805218/77527/cover/9780521877527_.jpg)
Computability and Logic
-
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007
Annotated Bibliography
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 341-342
-
- Chapter
- Export citation
Preface to the Fifth Edition
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp xi-xiv
-
- Chapter
- Export citation
5 - Abacus Computability
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 45-62
-
- Chapter
- Export citation
14 - Proofs and Completeness
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 166-186
-
- Chapter
- Export citation
22 - Second-Order Logic
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 279-285
-
- Chapter
- Export citation
15 - Arithmetization
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 187-198
-
- Chapter
- Export citation
1 - Enumerability
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 3-15
-
- Chapter
- Export citation
17 - Indefinability, Undecidability, Incompleteness
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 17 September 2007, pp 220-231
-
- Chapter
- Export citation
8 - Who Has Kidnapped the Notion of Information?
-
- Book:
- Socratic Epistemology
- Published online:
- 05 June 2012
- Print publication:
- 03 September 2007, pp 189-210
-
- Chapter
- Export citation
3 - A Second-Generation Epistemic Logic and its General Significance
-
- Book:
- Socratic Epistemology
- Published online:
- 05 June 2012
- Print publication:
- 03 September 2007, pp 61-82
-
- Chapter
- Export citation
Contents
-
- Book:
- Socratic Epistemology
- Published online:
- 05 June 2012
- Print publication:
- 03 September 2007, pp v-vi
-
- Chapter
- Export citation
7 - Logical Explanations
-
- Book:
- Socratic Epistemology
- Published online:
- 05 June 2012
- Print publication:
- 03 September 2007, pp 161-188
-
- Chapter
- Export citation
2 - Abduction—Inference, Conjecture, or an Answer to a Question?
-
- Book:
- Socratic Epistemology
- Published online:
- 05 June 2012
- Print publication:
- 03 September 2007, pp 38-60
-
- Chapter
- Export citation