TY  - BOOK
AU  - Tao,Terence
TI  - Compactness and contradiction
SN  - 9789349750029
U1  - 515 
PY  - 2026///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Mathematical analysis
KW  - Proof theory
N1  - Includes bibliographical references (pages 249-253) and index
ER  -