scientific article; zbMATH DE number 3593524

zbMath0382.03010MaRDI QIDQ4161292

Jouko Väänänen

Publication date: 1977

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

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Model theory of monadic predicate logic with the infinity quantifier, Henkin and function quantifiers, INTERLEAVING LOGIC AND COUNTING, Succinctness as a source of complexity in logical formalisms