Compactness and contradiction [electronic resource] / Terence Tao.

Show other versions (1)

Bibliographic Details
Main Author:	Tao, Terence, 1975-
Language:	English
Published:	Providence, Rhode Island : American Mathematical Society, [2013]
Subjects:	Mathematical analysis. Proof theory.
Online Access:	American Mathematical Society - Non-Series Monographs (2007 - 2014): 2013 (American Mathematical Society)
Format:	Electronic eBook

Similar Items

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

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)

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)

Proof, logic, and formalization
Published: (1992)

Mathematical thinking and writing a transition to abstract mathematics
by: Maddox, Randall B.
Published: (2002)

Mathematical thinking and writing : a transition to abstract mathematics
by: Maddox, Randall B.
Published: (2002)

Proof methods for modal and intuitionistic logics
by: Fitting, Melvin, 1942-
Published: (1983)

How to read and do proofs : an introduction to mathematical thought processes
by: Solow, Daniel
Published: (2002)

Conjecture and proof
by: Laczkovich, Miklós
Published: (2001)

Proof theory and logical complexity
by: Girard, Jean-Yves
Published: (1987)

Tracking reason : proof, consequence, and truth
by: Azzouni, Jody
Published: (2006)

The nuts and bolts of proofs
by: Cupillari, Antonella
Published: (2005)

The nuts and bolts of proofs
by: Cupillari, Antonella
Published: (2005)

The nuts and bolts of proofs
by: Cupillari, Antonella
Published: (2001)

The nuts and bolts of proofs an introduction to mathematical proofs
by: Cupillari, Antonella
Published: (2013)

An introduction to proof theory normalization, cut-elimination, and consistency proofs
by: Mancosu, Paolo, et al.
Published: (2021)

The nuts and bolts of proofs an introduction to mathematical proofs
by: Cupillari, Antonella
Published: (2024)

Normalization, cut-elimination, and the theory of proofs
by: Ungar, A. M. (Anthony M.), 1945-
Published: (1992)

Algebra of proofs
by: Szabo, M. E.
Published: (1978)

Proof theory sequent calculi and related formalisms
by: Bimbó, Katalin, 1963-
Published: (2015)

An introduction to mathematical reasoning : numbers, sets, and functions
by: Eccles, Peter J., 1945-
Published: (2015)

Handbook of proof theory
Published: (1998)

Basic proof theory
by: Troelstra, A. S. (Anne Sjerp)
Published: (1996)