Cover Image

On the shape of mathematical arguments /

Show other versions (1)

Bibliographic Details
Main Author:	Gasteren, A. J. M. van (Antonetta J. M.), 1952-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1990]
Series:	Lecture notes in computer science ; 445.
Subjects:	Proof theory.

Similar Items

On the shape of mathematical arguments /
by: Gasteren, A. J. M. van (Antonetta J. M.), 1952-
Published: (1990)

Mathematical reasoning : writing and proof /
by: Sundstrom, Theodore A.
Published: (2007)

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

A framework for priority arguments /
by: Lerman, M. (Manuel), 1943-
Published: (2010)

Proof in mathematics education : research, learning and teaching /
by: Reid, David A. (David Alexander), 1963-
Published: (2010)

The Nuts and Bolts of Proofs An Introduction to Mathematical Proofs /
by: Cupillari, Antonella
Published: (2023)

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

Introduction to mathematical proofs /
by: Roberts, Charles
Published: (2014)

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

On constructive interpretation of predicative mathematics /
by: Parsons, Charles, 1933-
Published: (1990)

Charming proofs : a journey into elegant mathematics /
by: Alsina, Claudi
Published: (2010)

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

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

Proofs and fundamentals : a first course in abstract mathematics /
by: Bloch, Ethan D., 1956-
Published: (2000)

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

A bridge to higher mathematics /
by: Deaconu, Valentin, et al.
Published: (2017)

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

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

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

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

Structural proof theory /
by: Negri, Sara, 1967-
Published: (2001)

Handbook of proof theory /
Published: (1998)

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

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

The power of interaction /
by: Lund, Carsten, 1963-
Published: (1992)

Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 /
Published: (1992)

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

Proof theory /
by: Takeuti, Gaisi, 1926-2017
Published: (1975)

Identity of proofs /
by: Widebäck, Filip
Published: (2001)

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

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

The story of Proof : logic and the History of Mathematics /
by: Stillwell, John
Published: (2022)

The proof is in the pudding : the changing nature of mathematical proof /
by: Krantz, Steven G. (Steven George), 1951-
Published: (2010)

Proofs 101 : an introduction to formal mathematics /
by: Kirtland, Joseph (Mathematics professor)
Published: (2021)

Mathematical analysis and proof /
by: Stirling, David S. G., 1947-
Published: (2009)

Introduction to mathematical proofs /
by: Roberts, Charles
Published: (2014)

An accompaniment to higher mathematics /
by: Exner, George R
Published: (1997)

Book of Proof /
by: Hammack, Richard H.
Published: (2018)

Handbook of mathematical induction : theory and applications /
by: Gunderson, David S.
Published: (2011)

Proof theory : history and philosophical significance /
Published: (2000)