scientific article; zbMATH DE number 810812

MaRDI QIDQ4852240zbMATH OpenFDO

Authors Robert L. Causey

Publication date 30 October 1995

zbMATH Keywords

formal logicmathematical inductionmathematical proofsnatural numbersrecursionset theory

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• Mathematical foundations for computer science. Sets, logic, recursion
• scientific article; zbMATH DE number 1932778
• Sets, logic and maths for computing
• Sets, logic and maths for computing
• Sets, logic and maths for computing

Cited in

(8)

• A logic of recursion
• Much ado about nothing—an introductive inquiry about zero
• Natural numbers, order and mathematical induction
• Mathematical foundations for computer science. Sets, logic, recursion
• scientific article; zbMATH DE number 4091489 (Why is no real title available?)
• Sets, logic and maths for computing
• Elements of set theory and recursive arguments
• Recursion equation sets computing logic programs

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 Q4852240)