Reverse mathematics : proofs from the inside out /
| Main Author: | Stillwell, John (Author) |
|---|---|
| Corporate Author: | ProQuest (Firm) |
| Format: | eBook |
| Language: | English |
| Published: |
Princeton :
Princeton University Press,
[2018]
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Reverse mathematics 2001 /
Published: (2005)
Published: (2005)
Reverse mathematics 2001 : lecture notes in logic 21 /
Published: (2005)
Published: (2005)
Reverse mathematics 2001 : lecture notes in logic 21 /
Published: (2005)
Published: (2005)
Reverse engineering : an industrial perspective /
Published: (2008)
Published: (2008)
Reverse osmosis /
by: Hoornaert, P.
Published: (1984)
by: Hoornaert, P.
Published: (1984)
Explanation and proof in mathematics : philosophical and educational perspectives /
Published: (2010)
Published: (2010)
Architecture of mathematics /
by: Serovajsky, Simon
Published: (2021)
by: Serovajsky, Simon
Published: (2021)
100% mathematical proof /
by: Garnier, Rowan
Published: (1996)
by: Garnier, Rowan
Published: (1996)
Strict finitism and the logic of mathematical applications /
by: Ye, Feng
Published: (2011)
by: Ye, Feng
Published: (2011)
Reverse osmosis /
by: Hoornaert, P.
Published: (1984)
by: Hoornaert, P.
Published: (1984)
Reciprocity, spatial mapping and time reversal in electromagnetics /
by: Altman, C.
Published: (2011)
by: Altman, C.
Published: (2011)
Towards mathematical philosophy : papers from the Studia Logica Conference Trends in Logic IV /
Published: (2008)
Published: (2008)
The foundations of mathematics /
by: Stewart, Ian, 1945-, et al.
Published: (2015)
by: Stewart, Ian, 1945-, et al.
Published: (2015)
Introduction to reversible computing /
by: Perumalla, Kalyan S., 1968
Published: (2014)
by: Perumalla, Kalyan S., 1968
Published: (2014)
Reverse osmosis : membrane technology, water chemistry & industrial applications /
by: Amjad, Zahid
Published: (1993)
by: Amjad, Zahid
Published: (1993)
Practical reverse engineering : x86, x64, ARM, Windows Kernel, reversing tools, and obfuscation /
by: Dang, Bruce
Published: (2014)
by: Dang, Bruce
Published: (2014)
Mathematical logic : foundations for information science /
by: Li, Wei, 1943 June-
Published: (2010)
by: Li, Wei, 1943 June-
Published: (2010)
Reverse osmosis /
by: Ismail, Ahmad Fauzi, et al.
Published: (2019)
by: Ismail, Ahmad Fauzi, et al.
Published: (2019)
A course on mathematical logic /
by: Srivastava, S. M. (Shashi Mohan)
Published: (2008)
by: Srivastava, S. M. (Shashi Mohan)
Published: (2008)
Structure and reactivity in reverse micelles /
Published: (1989)
Published: (1989)
Reversal theory : motivation, emotion, and personality /
by: Apter, Michael J.
Published: (1989)
by: Apter, Michael J.
Published: (1989)
Mathematical logic and model theory : a brief introduction /
by: Prestel, A. (Alexander), 1941-
Published: (2011)
by: Prestel, A. (Alexander), 1941-
Published: (2011)
A concise introduction to mathematical logic /
by: Rautenberg, Wolfgang
Published: (2006)
by: Rautenberg, Wolfgang
Published: (2006)
Advances in Proof-Theoretic Semantics /
Published: (2016)
Published: (2016)
Mathematical problems from applied logic II : logics for the XXIst century /
Published: (2006)
Published: (2006)
Mathematical problems from applied logic I : logics for the XXIst century /
Published: (2006)
Published: (2006)
Reversing : secrets of reverse engineering /
by: Eilam, Eldad
Published: (2005)
by: Eilam, Eldad
Published: (2005)
Proofs and algorithms : an introduction to logic and computability /
by: Dowek, Gilles
Published: (2011)
by: Dowek, Gilles
Published: (2011)
Reverse mortgages : report to Congress.
Published: (2012)
Published: (2012)
Applied proof theory : proof interpretations and their use in mathematics /
by: Kohlenbach, U. (Ulrich)
Published: (2008)
by: Kohlenbach, U. (Ulrich)
Published: (2008)
The foundations of mathematics /
by: Stewart, Ian
Published: (1979)
by: Stewart, Ian
Published: (1979)
Reversal of sterilization : [proceedings of a Workshop on Reversal of Sterilization held in San Francisco, California, United States of America, sponsored by the Program for Applied Research on Fertility Regulation, Northwestern University, Chicago, Illinois] /
Published: (1978)
Published: (1978)
Aspects of mathematical logic : lectures given at the Centro internazionale matematico estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968 /
Published: (2010)
Published: (2010)
Essays in constructive mathematics /
by: Edwards, Harold M.
Published: (2005)
by: Edwards, Harold M.
Published: (2005)
Reverse engineering /
by: Ingle, Kathryn A.
Published: (1994)
by: Ingle, Kathryn A.
Published: (1994)
The physics of time reversal /
by: Sachs, Robert Green, 1916-
Published: (1987)
by: Sachs, Robert Green, 1916-
Published: (1987)
Hybrid logic and its proof-theory /
by: Braüner, Torben
Published: (2011)
by: Braüner, Torben
Published: (2011)
Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá /
Published: (1999)
Published: (1999)
Efficient desalination by reverse osmosis : a guide to RO practice /
Published: (2016)
Published: (2016)
Reversible computing : fundamentals, quantum computing, and applications /
by: Vos, Alexis de
Published: (2010)
by: Vos, Alexis de
Published: (2010)