8. New Version of the Consistency Proof for Elementary Number Theory
References (0)
Cited by (12)
Automation of Higher-Order Logic
2014, Handbook of the History of LogicTermination of rewriting
1987, Journal of Symbolic ComputationThe correspondence between cut-elimination and normalization II
1974, Annals of Mathematical LogicThe correspondence between cut-elimination and normalization
1974, Annals of Mathematical LogicAnalysis of Penrose’s Second Argument Formalised in DTK System
2022, Logic and Logical PhilosophyAnalytic Rules for Mereology
2016, Studia Logica
Copyright © 1969 Academic Press Inc. Published by Elsevier B.V. All rights reserved.