4059 results in Logic
36 - ‘The best and most general version’
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 262-271
-
- Chapter
- Export citation
Preface
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp xiii-xiv
-
- Chapter
- Export citation
10 - Two formalized arithmetics
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 62-70
-
- Chapter
- Export citation
Index
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 383-388
-
- Chapter
- Export citation
32 - On the ‘unprovability of consistency’
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 239-244
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp i-vi
-
- Chapter
- Export citation
8 - Interlude: Taking stock
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 53-55
-
- Chapter
- Export citation
43 - Halting and incompleteness
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 328-337
-
- Chapter
- Export citation
Further reading
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 370-371
-
- Chapter
- Export citation
42 - Turing machines and recursiveness
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 321-327
-
- Chapter
- Export citation
26 - Broadening the scope
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 191-196
-
- Chapter
- Export citation
9 - Induction
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 56-61
-
- Chapter
- Export citation
28 - Speed-up
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 201-203
-
- Chapter
- Export citation
19 - The arithmetization of syntax
-
- Book:
- An Introduction to Gödel's Theorems
- Published online:
- 05 March 2013
- Print publication:
- 21 February 2013, pp 136-143
-
- Chapter
- Export citation
Chapter 11 - Ramsey’s extensional propositional functions
-
- Book:
- Logicism and its Philosophical Legacy
- Published online:
- 05 February 2013
- Print publication:
- 03 January 2013, pp 238-254
-
- Chapter
- Export citation
Chapter 5 - Bertrand Russell’sThe Analysis of Matter: its historical context and contemporary interest
-
-
- Book:
- Logicism and its Philosophical Legacy
- Published online:
- 05 February 2013
- Print publication:
- 03 January 2013, pp 90-107
-
- Chapter
- Export citation
Index
-
- Book:
- Logicism and its Philosophical Legacy
- Published online:
- 05 February 2013
- Print publication:
- 03 January 2013, pp 266-272
-
- Chapter
- Export citation
Chapter 3 - On extending “Empiricism, semantics and ontology” to the realism–instrumentalism controversy
-
- Book:
- Logicism and its Philosophical Legacy
- Published online:
- 05 February 2013
- Print publication:
- 03 January 2013, pp 46-67
-
- Chapter
- Export citation
Chapter 6 - On the rational reconstruction of our theoretical knowledge
-
- Book:
- Logicism and its Philosophical Legacy
- Published online:
- 05 February 2013
- Print publication:
- 03 January 2013, pp 108-139
-
- Chapter
- Export citation
Preface
-
- Book:
- Logicism and its Philosophical Legacy
- Published online:
- 05 February 2013
- Print publication:
- 03 January 2013, pp ix-xii
-
- Chapter
- Export citation