scientific article; zbMATH DE number 3989326

zbMATH Open0612.03012MaRDI QIDQ3752369FDOQ3752369

Martin W. Bunder

Publication date: 1985

Full work available at URL: https://eudml.org/doc/181744

Title of this publication is not available (Why is that?)

Recommendations

• scientific article
• First-order reasoning and primitive recursive natural number notations
• The natural numbers in constructive set theory
• Natural \(p\)-logics
• Publication:4729786
• Reasoning about arbitrary natural numbers from a Carnapian perspective
• Finite sets and natural numbers in intuitionistic TT
• LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS
• Arithmetic based on the Church numerals in illative combinatory logic

zbMATH Keywords

recursion operatorPeano axiomsillative combinatory logicparadoxical combinatortheory of natural numbers

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (3)

• Functional programming with combinators
• Arithmetic based on the Church numerals in illative combinatory logic
• A weak absolute consistency proof for some systems of illative combinatory logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3752369)