How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow.

Show other versions (1)

Bibliographic Details
Main Author:	Solow, Daniel
Language:	English
Published:	New York : Wiley, [2002], ©2002.
Edition:	Third edition.
Subjects:	Proof theory. Logic, Symbolic and mathematical.
Online Access:	Connect to: Table of contents - All users (Cataloging @ Library of Congress)
Physical Description:	xviii, 202 pages : illustrations ; 24 cm
Format:	Book

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Handbook of proof theory
Published: (1998)

Introduction to proofs and proof strategies
by: Fuchs, Shay
Published: (2024)

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

Proof, logic, and formalization
Published: (1992)

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

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

Journey into mathematics : an introduction to proofs
by: Rotman, Joseph J., 1934-
Published: (1999)

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

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

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

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

Ways of proof theory
Published: (2010)

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

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

Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá
Published: (1999)

Lectures in logic and set theory. Volume 1, Mathematical logic
by: Tourlakis, George J.
Published: (2003)

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

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

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

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

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