Publication:4949916
From MaRDI portal
zbMath0961.03001MaRDI QIDQ4949916
Publication date: 7 May 2000
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03B05: Classical propositional logic
03E20: Other classical set theory (including functions, relations, and set algebra)
Related Items