Publication:4949916

From MaRDI portal


zbMath0961.03001MaRDI QIDQ4949916

Patrick Suppes

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