A logical introduction to proof
A Logical Introduction to Proof is a unique textbook that uses a logic-first approach to train and guide undergraduates through a transition or bridge course between calculus and advanced mathematics courses. The author s approach prepares the student for the rigors required in future mathematics...
Uloženo v:
| Hlavní autor: | Cunningham, Daniel W. |
|---|---|
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
New York, NY :
Springer New York : Imprint: Springer
[20..].
Cham : Springer Nature |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • A logical introduction to proof, Daniel W. Cunningham, New York, Springer, 2012, 1 vol.(XV-356 p.), 978-1-461-43630-0 |
Podobné jednotky
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
(Livre numérique)
Buchholz, Wilfried, 1948-, a další -
Proof Theory : An Introduction
(Livre numérique)
Pohlers, Wolfram -
A theory of sets
(Livre papier)
Morse, Anthony Perry, 1911-1984, mathématicien
Academic Press, 1965 -
Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms
(Livre numérique)
Jensen, Ronald Björn, 1936- -
Admissible sets and structures : an approach to definability theory
(Livre papier)
Barwise, Jon, 1942-2000
Springer-Verlag, 1975

