An accompaniment to higher mathematics /
This text prepares undergraduate mathematics students to meet two challenges in the study of mathematics, namely, to read mathematics independently and to understand and write proofs. The book begins by teaching how to read mathematics actively, constructing examples, extreme cases, and non-examples...
| Main Author: | Exner, George R. |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
New York :
Springer,
[1996]
|
| Series: | Undergraduate texts in mathematics.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
An accompaniment to higher mathematics /
by: Exner, George R
Published: (1997)
by: Exner, George R
Published: (1997)
Book of Proof /
by: Hammack, Richard H.
Published: (2018)
by: Hammack, Richard H.
Published: (2018)
The story of Proof : logic and the History of Mathematics /
by: Stillwell, John
Published: (2022)
by: Stillwell, John
Published: (2022)
An accompaniment to higher mathematics /
by: Exner, George R.
Published: (1996)
by: Exner, George R.
Published: (1996)
On the shape of mathematical arguments /
by: Gasteren, A. J. M. van (Antonetta J. M.), 1952-
Published: (1990)
by: Gasteren, A. J. M. van (Antonetta J. M.), 1952-
Published: (1990)
Proof theory : an introduction /
by: Pohlers, Wolfram
Published: (1989)
by: Pohlers, Wolfram
Published: (1989)
Proof and System-Reliability /
by: Schwichtenberg, Helmut
Published: (2002)
by: Schwichtenberg, Helmut
Published: (2002)
Understanding mathematical proof /
by: Taylor, John, 1957-, et al.
Published: (2018)
by: Taylor, John, 1957-, et al.
Published: (2018)
Proof theory sequent calculi and related formalisms /
by: Bimbó, Katalin, 1963-
Published: (2015)
by: Bimbó, Katalin, 1963-
Published: (2015)
Metamathematical investigation of intuitionistic arithmetic and analysis /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1973)
by: Troelstra, A. S. (Anne Sjerp)
Published: (1973)
Tableau systems for first order number theory and certain higher order theories /
by: Toledo, Sue Ann, 1940-
Published: (1975)
by: Toledo, Sue Ann, 1940-
Published: (1975)
Proof theory and intuitionistic systems /
by: Scarpellini, Bruno
Published: (1971)
by: Scarpellini, Bruno
Published: (1971)
Proofs and fundamentals : a first course in abstract mathematics /
by: Bloch, Ethan D., 1956-
Published: (2000)
by: Bloch, Ethan D., 1956-
Published: (2000)
Proof theory and logic programming : computation as proof search /
by: Miller, Dale, 1956-
Published: (2026)
by: Miller, Dale, 1956-
Published: (2026)
Mathematical reasoning : writing and proof /
by: Sundstrom, Theodore A.
Published: (2007)
by: Sundstrom, Theodore A.
Published: (2007)
On the shape of mathematical arguments /
by: Gasteren, A. J. M. van (Antonetta J. M.), 1952-
Published: (1990)
by: Gasteren, A. J. M. van (Antonetta J. M.), 1952-
Published: (1990)
The Nuts and Bolts of Proofs An Introduction to Mathematical Proofs /
by: Cupillari, Antonella
Published: (2023)
by: Cupillari, Antonella
Published: (2023)
An introduction to proof theory : normalization, cut-elimination, and consistency proofs /
by: Mancosu, Paolo, et al.
Published: (2021)
by: Mancosu, Paolo, et al.
Published: (2021)
The nuts and bolts of proofs : an introduction to mathematical proofs /
by: Cupillari, Antonella
Published: (2013)
by: Cupillari, Antonella
Published: (2013)
A bridge to higher mathematics /
by: Deaconu, Valentin, et al.
Published: (2017)
by: Deaconu, Valentin, et al.
Published: (2017)
Handbook of mathematical induction : theory and applications /
by: Gunderson, David S.
Published: (2011)
by: Gunderson, David S.
Published: (2011)
Proof theory of modal logic /
Published: (1996)
Published: (1996)
Charming proofs : a journey into elegant mathematics /
by: Alsina, Claudi
Published: (2010)
by: Alsina, Claudi
Published: (2010)
Introduction to mathematical proofs /
by: Roberts, Charles
Published: (2014)
by: Roberts, Charles
Published: (2014)
Axiomatising the logic of computer programming /
by: Goldblatt, Robert
Published: (1982)
by: Goldblatt, Robert
Published: (1982)
Proof in mathematics education : research, learning and teaching /
by: Reid, David A. (David Alexander), 1963-
Published: (2010)
by: Reid, David A. (David Alexander), 1963-
Published: (2010)
Complexity of proofs and their transformations in axiomatic theories /
by: Orevkov, V. P.
Published: (1993)
by: Orevkov, V. P.
Published: (1993)
The nuts and bolts of proofs /
by: Cupillari, Antonella
Published: (2001)
by: Cupillari, Antonella
Published: (2001)
The nuts and bolts of proofs /
by: Cupillari, Antonella
Published: (2005)
by: Cupillari, Antonella
Published: (2005)
Structural proof theory /
by: Negri, Sara, 1967-
Published: (2001)
by: Negri, Sara, 1967-
Published: (2001)
Handbook of proof theory /
Published: (1998)
Published: (1998)
Proof theory /
by: Schütte, K. (Kurt)
Published: (1977)
by: Schütte, K. (Kurt)
Published: (1977)
Proof theory /
by: Takeuti, Gaisi, 1926-2017
Published: (1987)
by: Takeuti, Gaisi, 1926-2017
Published: (1987)
The power of interaction /
by: Lund, Carsten, 1963-
Published: (1992)
by: Lund, Carsten, 1963-
Published: (1992)
Proof theory : an introduction /
by: Pohlers, Wolfram
Published: (1989)
by: Pohlers, Wolfram
Published: (1989)
Normalization, cut-elimination, and the theory of proofs /
by: Ungar, A. M. (Anthony M.), 1945-
Published: (1992)
by: Ungar, A. M. (Anthony M.), 1945-
Published: (1992)
Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 /
Published: (1992)
Published: (1992)
Basic proof theory /
by: Troelstra, A. S. (Anne Sjerp)
Published: (2000)
by: Troelstra, A. S. (Anne Sjerp)
Published: (2000)
Proof theory : sequent calculi and related formalisms /
by: Bimbo, Katalin, 1963
Published: (2015)
by: Bimbo, Katalin, 1963
Published: (2015)
Proof theory /
by: Takeuti, Gaisi, 1926-2017
Published: (1975)
by: Takeuti, Gaisi, 1926-2017
Published: (1975)