scientific article; zbMATH DE number 1270513
zbMath0915.03003MaRDI QIDQ4237079
Janusz Onyszkiewicz, Victor W. Marek
Publication date: 29 March 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Problem books (00A07) Model theory (03C99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logical aspects of lattices and related structures (03G10) Classical first-order logic (03B10) Classical propositional logic (03B05) Foundations of classical theories (including reverse mathematics) (03B30) Recursive functions and relations, subrecursive hierarchies (03D20) Logical aspects of Boolean algebras (03G05) Other classical set theory (including functions, relations, and set algebra) (03E20) Ordinal and cardinal numbers (03E10) Axiom of choice and related propositions (03E25)
This page was built for publication:
