scientific article

zbMath0985.03001MaRDI QIDQ2753072

A. Sochor

Publication date: 24 October 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

predicate calculustextbookpropositional calculus

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) Classical propositional logic (03B05) Interpolation, preservation, definability (03C40) Turing machines and related notions (03D10) Basic properties of first-order languages and structures (03C07) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Large Cardinals and the Continuum Hypothesis

This page was built for publication: