TY  - DATA
AU  - Tao, Terence
TI  - Compactness and contradiction 
T2  - Miscellaneous Books, 
SN  - 9781470416119 (online)
PY  - 2013///
CY  - Providence, R.I. :;Toronto
PB  - American Mathematical Society ;;Fields Institute for Research in Mathematical Sciences
KW  - Mathematical analysis
KW  - Proof theory
N1  - Includes bibliographical references (pages 249-253) and index
UR  - https://doi.org/10.1090/mbk/081
ER  -