108 results
KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 25 October 2018, pp. 319-335
- Print publication:
- September 2018
-
- Article
- Export citation
GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 4 / December 2014
- Published online by Cambridge University Press:
- 30 December 2014, pp. 417-448
- Print publication:
- December 2014
-
- Article
- Export citation
David Hilbert’s lectures on the foundations of arithmetic and logic 1917–1933. Edited by William Ewald and Wilfried Sieg. Springer, Berlin, Heidelberg and New York, 2013, xxv + 1062 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 24 October 2014, pp. 363-365
- Print publication:
- September 2014
-
- Article
- Export citation
Frontmatter
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp i-iv
-
- Chapter
- Export citation
Part III - Beyond pure logic
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 159-160
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 258-260
-
- Chapter
- Export citation
1 - Starting points
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 3-14
-
- Chapter
- Export citation
Preface
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp ix-x
-
- Chapter
- Export citation
10 - The semantics of predicate logic
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 152-158
-
- Chapter
- Export citation
3 - Natural deduction
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 31-63
-
- Chapter
- Export citation
11 - Equality and axiomatic theories
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 161-176
-
- Chapter
- Export citation
8 - The quantifiers
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 115-128
-
- Chapter
- Export citation
Part II - Logical reasoning with the quantifiers
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 113-114
-
- Chapter
- Export citation
14 - Deductive machinery from Aristotle to Heyting
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 220-252
-
- Chapter
- Export citation
5 - Classical natural deduction
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 80-88
-
- Chapter
- Export citation
2 - Rules of proof
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 15-30
-
- Chapter
- Export citation
Further reading
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 256-257
-
- Chapter
- Export citation
7 - The semantics of propositional logic
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 96-112
-
- Chapter
- Export citation
9 - Derivations in predicate logic
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 129-151
-
- Chapter
- Export citation
Suggestions for the use of this book
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 253-255
-
- Chapter
- Export citation