TY  - BOOK
AU  - O´Leary,Michael L.
TI  - A first course in mathematical logic and set theory / 
SN  - 9780470905883
U1  - 511.3 
PY  - 2016///
CY  - New Jersey : 
PB  - Wiley, 
KW  - Axiomas
KW  - Funciones (Matemáticas)
KW  - Inferencia
KW  - Lenguajes de computación
KW  - Lógica matemática
KW  - Modelos matemáticos
KW  - Semántica
ER  -