scientific article
From MaRDI portal
Publication:3582626
zbMath1243.03057MaRDI QIDQ3582626
Publication date: 2 September 2010
Full work available at URL: http://www.sciencedirect.com/science/book/9780123849588
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Computability and recursion theory (03Dxx)
Related Items (7)
Algebraic Semantics for Dynamic Dynamic Logic ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Machines that perform measurements ⋮ The fixed point problem of a simple reversible language ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ Oracle computability of conditional expectations onto subfactors ⋮ On the Meaning Maximization Doctrine: An Alternative to the Utilitarian Doctrine
This page was built for publication:
