Publication:3691632
zbMath0574.03001MaRDI QIDQ3691632
Victor W. Marek, Janusz Onyszkiewicz
Publication date: 1982
06A06: Partial orders, general
00A07: Problem books
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03G10: Logical aspects of lattices and related structures
06D05: Structure and representation theory of distributive lattices
03B10: Classical first-order logic
03B05: Classical propositional logic
03E30: Axiomatics of classical set theory and its fragments
03D20: Recursive functions and relations, subrecursive hierarchies
06E05: Structure theory of Boolean algebras
03G05: Logical aspects of Boolean algebras
03E20: Other classical set theory (including functions, relations, and set algebra)
03E10: Ordinal and cardinal numbers
03C07: Basic properties of first-order languages and structures
Related Items