TY - BOOK AU - Westerståhl, Dag TI - Foundations of logic: Completeness, incompleteness, computability SN - 9781684000005 PY - 2023/// CY - Stanford PB - Center for The Study of Language KW - Philosophy ER -