An introduction to mathematical reasoning : numbers, sets, and functions

An introduction to mathematical reasoning : numbers, sets, and functions / Peter J. Eccles.

Saved in:

Bibliographic Details
Main Author:	Eccles, Peter J., 1945-
Format:	Book
Language:	English
Published:	New York : Cambridge University Press, 1997.
Subjects:	Proof theory.

Similar Items

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

An introduction to mathematical proofs
by: Loehr, Nicholas A.
Published: (2020)

Theoremus : a student's guide to mathematical proofs
by: Cruz, Lito Perez
Published: (2021)

Charming Proofs : a Journey into Elegant Mathematics
Published: (2011)

An accompaniment to higher mathematics
by: Exner, George R.
Published: (1996)

The Nuts and Bolts of Proofs.
by: Cupillari, Antonella
Published: (2005)

On the Extraction of Computational Content from Noneffective Convergence Proofs in Analysis
by: Safarik, Pavol
Published: (2014)

Proof Theory
by: Jervell, Herman Ruge
Published: (2013)

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

Proving in the elementary mathematics classroom
by: Stylianides, Andreas J.
Published: (2016)

Proof theory : an introduction
by: Pohlers, Wolfram
Published: (1989)

Ordinal analysis with an introduction to proof theory
by: Arai, Toshiyasu
Published: (2020)

Complexity of proofs and their transformations in axiomatic theories
by: Orevkov, V. P.
Published: (1993)

Handbook of proof theory
Published: (1998)

Proof theory
by: Schütte, K. (Kurt)
Published: (1977)

Proof theory
by: Takeuti, Gaisi, 1926-
Published: (1987)

The moment of proof : mathematical epiphanies
by: Benson, Donald C.
Published: (2000)

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

Ways of proof theory
by: Schindler, Ralf
Published: (2010)

Tableau systems for first order number theory and certain higher order theories
by: Toledo, Sue Ann, 1940-
Published: (1975)

Handbook of Mathematical Induction.
by: Gunderson, David S.
Published: (2014)

Proof Logic and Formalization.
by: Detlefsen, Michael, 1948-
Published: (1992)

Arithmetic, proof theory, and computational complexity
Published: (1993)

Arnon Avron on semantics and proof theory of non-classical logics
Published: (2021)

Proofs and types
by: Girard, Jean-Yves
Published: (1990)

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

Linear logic in computer science
Published: (2004)

Lectures on the Curry-Howard Isomorphism.
by: Urzyczyn, Pawel
Published: (2006)

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

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

An Introduction to Non-Classical Logic : From If to Is
by: Priest, Graham
Published: (2008)

ISILC Proof Theory Symposium : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Published: (1975)

Sequents and trees : an introduction to the theory and applications of propositional sequent calculi
by: Indrzejczak, Andrzej
Published: (2021)

Reductive logic and proof-search : proof theory, semantics, and control
by: Pym, David J., et al.
Published: (2004)

Memoirs of a Proof Theorist : Gödel and Other Logicians.
by: Passell, Nicholas
Published: (2003)

Axiomatic thinking. I
Published: (2022)

The legacy of Kurt Schütte
Published: (2020)

An Introduction to the Language of Mathematics
by: Mynard, Frédéric
Published: (2018)

The God of reason
by: Heydon, J. K.
Published: (1939)

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