scientific article; zbMATH DE number 1909447

zbMATH Open1027.03002MaRDI QIDQ4805348FDOQ4805348

Authors: Stephen Cole Kleene 

Publication date: 13 May 2003

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

Recommendations

• Mathematical logic.
• Mathematical logic and the foundations of mathematics. An introductory survey. Reprint of the 1963 orig
• scientific article; zbMATH DE number 1968950
• A mathematical introduction to logic.
• scientific article; zbMATH DE number 4027415

zbMATH Keywords

foundations of mathematicsdecidabilitymodel theorytextbookcomputabilitymathematical logic

Mathematics Subject Classification ID

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

Cited In (14)

• Mathematical logic and the foundations of mathematics. An introductory survey. Reprint of the 1963 orig
• Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic
• The problem of rational knowledge
• Concrete digital computation: what does it take for a physical system to compute?
• Classical mathematical logic.
• Kreiseliana: about and around Georg Kreisel
• Contemporary logic and computing
• From undecidability of non-triviality and finiteness to undecidability of learnability
• Interpretability in PRA
• On analogues of Herbrand's and Harrop's theorems for the joint logic of problems and propositions QHC
• Mathematical logic.
• Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic
• Temporal-logic property preservation under Z refinement
• Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form

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