Proof, Logic, and Conjecture: The Mathematician's Toolbox

W. H. Freeman (1997)
  Copy   BIBTEX

Abstract

This text is designed to teach students how to read and write proofs in mathematics and to acquaint them with how mathematicians investigate problems and formulate conjecture.

Categories

Keywords

Reprint years

1998

ISBN(s)

0716730502   9780716730507
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
A first course in logic: an introduction to model theory, proof theory, computability, and complexity.Shawn Hedman - 2004 - New York: Oxford University Press.
Set Theory and Logic.Robert Roth Stoll - 2012 - San Francisco and London: Courier Corporation.
The prospects for mathematical logic in the twenty-first century.Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore - 2001 - Bulletin of Symbolic Logic 7 (2):169-196.
Introduction to mathematical logic.Michał Walicki - 2012 - Hackensack, NJ: World Scientific.
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
A logical introduction to proof.Daniel W. Cunningham - 2012 - New York: Springer.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Forcing in proof theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.
Logic: from foundation to applications: European logic colloquium.Wilfrid Hodges (ed.) - 1996 - New York: Oxford University Press.
[Omega]-Bibliography of Mathematical Logic.G. H. Müller, Wolfgang Lenski, Jane E. Kister, D. van Dalen & A. S. Troelstra - 1987
The Development of Logical Argument Through the Teaching of Mathematical Proof.Emily Macmillan - 2003

Analytics

Added to PP
2015-02-02

Downloads
8 (#1,249,165)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Robert Wolf
Southern Illinois University Edwardsville

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references