TY  - BOOK
TI  - A first course in mathematical logic and set theory
SN  - 978-0-470-90588-3 (hbk.)
U1  - 511.3 O451 2016 
PY  - 2016///
KW  - Logic, Symbolic and mathematical
N1  - 500 Natural Sciences & Math
ER  -