23 results
ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 27 September 2021, pp. 426-435
- Print publication:
- December 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS
-
- Journal:
- The Review of Symbolic Logic / Volume 7 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 03 April 2014, pp. 484-498
- Print publication:
- September 2014
-
- Article
- Export citation
The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 6 / 2003
- Published online by Cambridge University Press:
- 01 February 2010, pp. 198-248
-
- Article
-
- You have access
- Export citation
Mechanizing Nonstandard Real Analysis
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 3 / 2000
- Published online by Cambridge University Press:
- 01 February 2010, pp. 140-190
-
- Article
-
- You have access
- Export citation
Final coalgebras as greatest fixed points in ZF set theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 9 / Issue 5 / October 1999
- Published online by Cambridge University Press:
- 01 October 1999, pp. 545-567
-
- Article
- Export citation
6 - Theory Structure
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 163-180
-
- Chapter
- Export citation
7 - Axioms and Inference Rules
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 181-208
-
- Chapter
- Export citation
8 - Tactics and Tacticals
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 209-244
-
- Chapter
- Export citation
Preface
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp xi-xiv
-
- Chapter
- Export citation
1 - Survey and History of LCF
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 3-12
-
- Chapter
- Export citation
10 - Sample Proofs
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 265-288
-
- Chapter
- Export citation
4 - Structural Induction
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 77-136
-
- Chapter
- Export citation
9 - Rewriting and Simplification
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 245-264
-
- Chapter
- Export citation
3 - A Logic of Computable Functions
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 53-76
-
- Chapter
- Export citation
5 - Syntactic Operations for PPλ
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 139-162
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp vii-x
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 289-295
-
- Chapter
- Export citation
Index
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 296-302
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp i-vi
-
- Chapter
- Export citation
II - Cambridge LCF
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 137-138
-
- Chapter
- Export citation