TY  - BOOK
TI  - Introduction to mathematical logic
U1  - 511.3 
PY  - 2019///
CY  - New York
PB  - Larsen  & Keller
KW  - http://172.16.62.186:8080/cgi-bin/koha/cataloguing/addbiblio.pl?frameworkcode=BKS#
KW  - Logic, symbolic and mathematical
KW  - Mathematics
N1  - Includes index.
ER  -