scientific article

zbMath0612.03012MaRDI QIDQ3752369

Martin W. Bunder

Publication date: 1985

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

recursion operatorPeano axiomsparadoxical combinatorillative combinatory logictheory of natural numbers

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

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