TY  - BOOK
TI  - A first course in mathematical logic and set theory
SN  - 978-0-470-90588-3
U1  - 511.3 Ol21 2016 
PB  - John Wiley & Sons, Inc.
KW  - Logic, symbolic and mathematical
N1  - E-books
ER  -