Mathematical logic.
From MaRDI portal
This is a recent reprint of Shoenfield's famous book (for a review of the original edition (Addison-Wesley, Reading, Mass. etc., 1967) see Zbl 0155.01102) which is `as fresh and useful today as when first published'\ (S. Feferman). NEWLINENEWLINENEWLINEThis publication was like the Book for generations of logicians. What else could be told about the Book!?
Recommendations
Cited in
(28)- Complemented modular lattices with involution and orthogonal geometry
- Simplified lower bounds for propositional proofs
- Six impossible rings
- Herbrand's theorem as higher order recursion
- Undecidability of the speed positiveness problem in reversible and complete Turing machines
- Interval orders, semiorders and ordered groups
- On the generation of quantified lemmas
- Symbioses between mathematical logic and computer science
- Classical mathematical logic.
- Decision procedures for flat array properties
- A new acceleration-based combination framework for array properties
- Interpretation and truth in set theory
- Hierarchy of Computably Enumerable Degrees II
- Functional interpretation and inductive definitions
- An axiomatic approach to structuring specifications
- Geometric theories for the algebra of real numbers
- Forcing in Proof Theory
- Transfinite Progressions: A Second Look at Completeness
- Practical algorithms for MSO model-checking on tree-decomposable graphs
- scientific article; zbMATH DE number 1865733 (Why is no real title available?)
- scientific article; zbMATH DE number 1909447 (Why is no real title available?)
- On maps which preserve semipositivity and quantifier elimination theory for real numbers
- THE COPYING METHOD
- scientific article; zbMATH DE number 3430165 (Why is no real title available?)
- Brouwer's ideas and intuitionistic fuzziness
- Nonsets
- Iterating reflection over intuitionistic arithmetic
- Quantifier elimination for the reals with a predicate for the powers of two
This page was built for publication: Mathematical logic.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2711810)
