Introduction to mathematical logic. Translated from the German by Diana Schmidt
From MaRDI portal
Publication:2556390
zbMath0248.02003MaRDI QIDQ2556390
Publication date: 1973
Published in: Universitext (Search for Journal in Brave)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Mathematical logic and foundations (03-XX)
Related Items (7)
Partial-predicate logic in computer science ⋮ Program-substitution and admissibility of rules in algorithmic logic ⋮ EXTENDING A PUTNAM PROBLEM TO FIELDS OF VARIOUS CHARACTERISTICS ⋮ Henkin’s Theorem in Textbooks ⋮ Dispersive Shallow Water Wave Modelling. Part II: Numerical Simulation on a Globally Flat Space ⋮ Semantics and properties of existential quantifiers in deductive databases ⋮ On certain axiomatizations of arithmetic of natural and integer numbers
This page was built for publication: Introduction to mathematical logic. Translated from the German by Diana Schmidt
