Tao, Terence
Compactness and contradiction - Providence, R.I. :;Toronto : American Mathematical Society ;;Fields Institute for Research in Mathematical Sciences, c2013. - 1 online resource (xii, 256 pages : illustrations) - Miscellaneous Books, v. 81 .
Includes bibliographical references (pages 249-253) and index.
9781470416119 (online)
Mathematical analysis.
Proof theory.
Compactness and contradiction - Providence, R.I. :;Toronto : American Mathematical Society ;;Fields Institute for Research in Mathematical Sciences, c2013. - 1 online resource (xii, 256 pages : illustrations) - Miscellaneous Books, v. 81 .
Includes bibliographical references (pages 249-253) and index.
9781470416119 (online)
Mathematical analysis.
Proof theory.