TY  - BOOK
AU  - Westerstahl, Dag
TI  - Foundations of logic: : Completeness, incompleteness, computability 
SN  - 978168000005 (pbk)
PY  - 2023///
CY  - California, USA
PB  - CSLI Publications
KW  - Mathematics
KW  - Logic
KW  - Philosophy
ER  -