Journey into mathematics : an introduction to proofs / Joseph J. Rotman.

Bibliographic Details
Main Author:	Rotman, Joseph J., 1934-
Language:	English
Published:	Upper Saddle River, NJ : Prentice Hall, [1999]
Edition:	Reprinted with corrections.
Subjects:	Proof theory.
Physical Description:	xiii, 237 pages : illustrations ; 24 cm
Format:	Book

Similar Items

Mathematical proofs : a transition to advanced mathematics
by: Chartrand, Gary
Published: (2013)

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

The mathematical method : a transition to advanced mathematics
by: Eisenberg, Murray, 1939-
Published: (1996)

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

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

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

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

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

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

Handbook of proof theory
Published: (1998)

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

Introduction to mathematical proofs : a transition
by: Roberts, Charles E., 1942-
Published: (2010)

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

Introduction to mathematical proofs : a transition to advanced mathematics
by: Roberts, Charles E., 1942-
Published: (2015)

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

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

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

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

Ways of proof theory
Published: (2010)

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

Proofs and computations
by: Schwichtenberg, Helmut, 1942-, et al.
Published: (2012)

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

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

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

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

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

Memoirs of a proof theorist : Gödel and other logicians
by: Takeuti, Gaisi, 1926-2017
Published: (2003)

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

Proof and computations
by: Schwichtenberg, Helmut, 1942-
Published: (2012)

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

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

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

A TeXas style introduction to proof
by: Taylor, Ron, 1948-
Published: (2017)

Linear logic in computer science
Published: (2004)

Linear logic in computer science
Published: (2004)

Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996
Published: (1998)

Lectures on the Curry-Howard isomorphism
by: Sørensen, Morten Heine
Published: (2006)

Derivation and computation : taking the Curry-Howard correspondence seriously
by: Simmons, Harold
Published: (2000)

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

Navigating through reasoning and proof in grades 9-12
Published: (2008)