Publication:3691632

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