scientific article; zbMATH DE number 3989326

MaRDI QIDQ3752369zbMATH OpenFDO

Authors Martin W. Bunder

Publication date 1985

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

zbMATH Keywords

recursion operatorPeano axiomsillative combinatory logicparadoxical combinatortheory of natural numbers

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 5520273
• 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

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)