scientific article; zbMATH DE number 5778850

MaRDI QIDQ3582626zbMATH OpenFDO

Authors Herbert B. Enderton

Publication date 2 September 2010

Full work available at URL http://www.sciencedirect.com/science/book/9780123849588

zbMATH Keywords

computability theoryrecursion theory

Mathematics Subject Classification ID

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

Recommendations

• Elementar computability theory
• scientific article; zbMATH DE number 225477
• Computability theory
• A mathematical primer on computability
• Elements of computation theory
• scientific article; zbMATH DE number 1061261
• EAGLE start-up aid. Theory of computability. Cantor diagonalization, Gödelization, Turing machines
• The Foundations of Computability Theory
• scientific article; zbMATH DE number 3965406
• scientific article; zbMATH DE number 54171

Cited in

(19)

• The fixed point problem of a simple reversible language
• Oracle computability of conditional expectations onto subfactors
• Machines that perform measurements
• Computability theory
• Recursion Theory and Computational Complexity
• Algebraic Semantics for Dynamic Dynamic Logic
• scientific article; zbMATH DE number 3922632 (Why is no real title available?)
• scientific article; zbMATH DE number 3987247 (Why is no real title available?)
• scientific article; zbMATH DE number 41858 (Why is no real title available?)
• scientific article; zbMATH DE number 65747 (Why is no real title available?)
• scientific article; zbMATH DE number 478433 (Why is no real title available?)
• scientific article; zbMATH DE number 702378 (Why is no real title available?)
• Current research on Gödel's incompleteness theorems
• On the meaning maximization doctrine: an alternative to the Utilitarian doctrine
• Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
• Computability
• A mathematical primer on computability
• scientific article; zbMATH DE number 6287652 (Why is no real title available?)
• Computability and Recursion

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