TY  - BOOK
T1  - A first course in mathematical logic and set theory
A1  - O'Leary, Michael L.
LA  - English
PP  - Hoboken, New Jersey
PB  - Wiley
YR  - 2016
UL  - http://www.ds.mainlib.upd.edu.ph/Record/UP-1685675941123991007
AB  - Highlighting the applications and notations of basic mathematical concepts within the framework of logic and set theory, A First Course in Mathematical Logic and Set Theory introduces how logic is used to prepare and structure proofs and solve more complex problems.--Publisher's website.
OP  - 443
CN  - QA 9 O44 2016
SN  - 9780470905883 (hbk.)
SN  - 0470905883
KW  - Logic, Symbolic and mathematical.
KW  - Mathematics.
KW  - Set theory.
ER  -