Publication:5611757
From MaRDI portal
zbMath0211.00901MaRDI QIDQ5611757
Publication date: 1970
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
Related Items
UNSOUND INFERENCES MAKE PROOFS SHORTER, ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS, Countable sets versus sets that are countable in reverse mathematics, On the mathematical and foundational significance of the uncountable, The non-normal abyss in Kleene's computability theory, Formal notes on the substitutional analysis of logical consequence, A note on applicability of the incompleteness theorem to human mind, A termination proof for epsilon substitution using partial derivations, Epsilon substitution for \(ID_1\) via cut-elimination, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017, The calculus of natural calculation, A logic-based approach to incremental reasoning on multi-agent systems, Deciding simple infinity axiom sets with one binary relation by means of superpostulates, Betwixt Turing and Kleene, Between Turing and Kleene, Cut elimination for a simple formulation of epsilon calculus, Herbrand's theorem and term induction, Ackermann's substitution method (remixed), The Reverse Mathematics of wqos and bqos, A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract)