Compactness and contradiction / Terence Tao.

Show other versions (1)

Bibliographic Details
Uniform Title:	Works. Selections. 2013
Main Author:	Tao, Terence, 1975-
Language:	English
Published:	Providence, Rhode Island : American Mathematical Society, [2013]
Subjects:	Mathematical analysis. Proof theory.
Physical Description:	xii, 256 pages : illustrations ; 25 cm
Format:	Book

Similar Items

Compactness and contradiction
by: Tao, Terence, 1975-
Published: (2013)

Selected works of Eberhard Hopf : with commentaries
by: Hopf, Eberhard, 1902-
Published: (2002)

Nonlinear analysis : a collection of papers in honor of Erich H. Rothe
Published: (1978)

Nonlinear problems of analysis in geometry and mechanics
Published: (1981)

Some points of analysis and their history
by: Gårding, Lars, 1919-2014
Published: (1997)

Lectures on real analysis
by: Lárusson, Finnur, 1966-
Published: (2012)

Lectures on real analysis
by: Lárusson, Finnur, 1966-
Published: (2012)

Beiträge zur Analysis.
Published: (1971)

Journal of mathematical analysis and applications.

Contributions to analysis and geometry : supplement to the American journal of mathematics
Published: (1981)

Analysis and logic
by: Henson, C. W.
Published: (2002)

Analysis and logic
Published: (2002)

Analysis mathematica.
Published: (1975)

Elementares Lehrbuch der algebraischen Analysis und der Infinitesimalrechnung : mit zahlreichen Übungsbeispielen
Published: (1904)

Nonlinear analysis, function spaces, and applications, vol. 2 : proceedings of the Spring School held in Písek, 1982
Published: (1982)

Commentationes mathematicae : tomus specialis in honorem Iuliani Musielak.
Published: (2004)

Topics in mathematical analysis : a volume dedicated to the memory of A.L. Cauchy
Published: (1989)

Paul Halmos celebrating 50 years of mathematics
Published: (1991)

Analysis : With an Introduction to Proof
by: Lay, Steven R., 1944-
Published: (2014)

Proof theory of impredicative subsytems of analysis
by: Buchholz, Wilfried, 1948-
Published: (1988)

Traité d'analyse
Published: (1885)

Corso di analisi algebrica con introduzione al calcolo infinitesimale.
Published: (1894)

Cours d'analyse professé à l'École polytechnique
Published: (1903)

Transition to analysis with proof
by: Krantz, Steven G. (Steven George), 1951-
Published: (2018)

Extending the frontiers of mathematics : inquiries into proof and argumentation
by: Burger, Edward B., 1963-
Published: (2007)

Proof theory and intuitionistic systems
by: Scarpellini, Bruno
Published: (1971)

The history of mathematical proof in ancient traditions
Published: (2012)

Absoluteness of intuitionistic logic
by: Leivant, Daniel Maurice Raphaël
Published: (1979)

The history of mathematical proof in ancient traditions
Published: (2012)

Cut elimination in categories
by: Došen, Kosta
Published: (1999)

Why is there philosophy of mathematics at all?
by: Hacking, Ian
Published: (2014)

Syllogistic logic and mathematical proof
by: Mancosu, Paolo, et al.
Published: (2023)

Language, Logic, and Mathematics in Schopenhauer
Published: (2020)

Sequents and Trees An Introduction to the Theory and Applications of Propositional Sequent Calculi
by: Indrzejczak, Andrzej
Published: (2021)

Linear logic in computer science
Published: (2004)

Fundamental proof methods in computer science : a computer-based approach
by: Arkoudas, Konstantine, et al.
Published: (2017)

Linear logic in computer science
Published: (2004)

Concepts of proof in mathematics, philosophy, and computer science
Published: (2016)

Theorems, corollaries, lemmas, and methods of proof
by: Rossi, Richard J., 1956-
Published: (2006)

Conditional and preferential logics proof methods and theorem proving
by: Pozzato, Gian Luca
Published: (2010)