TY  - BOOK
AU  - Tao,Terence
TI  - Compactness and contradiction
SN  - 9789349750029 (pbk.)
U1  - 515 TAO 
PY  - 2026///
CY  - Providence
PB  - American Mathematical Society/University Press
KW  - Mathematical analysis
KW  - Proof theory
ER  -