TY  - BOOK
TI  - An introduction to propositional logic and set theory
U1  - 511.3 C421 [2021] 
PB  - s.n.
KW  - Logic, symbolic and mathematical
N1  - E-books
ER  -