Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-38 of 38 results
Notes on constructive mathematics.
- Text
- Stockholm, Almqvist & Wiksell, 1970.
- 1970
- 1 Item
Item details Format Call Number Item Location Text JSE 72-321 Offsite Differential and integral; a constructive introduction to classical analysis. Translated by John Bacon.
- Text
- Austin, University of Texas Press [c1971]
- 1971
- 1 Item
Item details Format Call Number Item Location Text JSE 72-1072 Offsite Stochastic automata; constructive theory [by] A. A. Lorenz. Translated from Russian by D. Louvish.
- Text
- New York, Wiley [1974]
- 1974
- 1 Item
Item details Format Call Number Item Location Text JSE 74-1600 Offsite Constructive functional analysis / D. S. Bridges.
- Text
- London ; San Francisco : Pitman, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text JSE 79-1158 Offsite Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman.
- Text
- Berlin ; New York : Springer-Verlag, 1981.
- 1981
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 873-874 Offsite Varieties of constructive mathematics / Douglas Bridges, Fred Richman.
- Text
- Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSE 87-1330 Offsite Constructibility and mathematical existence / Charles S. Chihara.
- Text
- Oxford : Clarendon Press ; New York : Oxford University Press, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSD 90-397 Offsite From peturbative to constructive renormalization / Vincent Rivasseau.
- Text
- Princeton, N.J. : Princeton University Press, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSE 92-1079 Offsite Fine structure and iteration trees / William J. Mitchell, John R. Steel.
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 95-502 Offsite Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek.
- Text
- Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 96-337 Offsite Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 / Paul W. Beame, Samuel R. Buss, editors.
- Text
- Providence, R.I. : American Mathematical Society, 1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JSF 97-674 Offsite Akademische Gedenkfeier für Paul Lorenzen : am 10. November 1995 / herausgegeben von Christian Thiel.
- Text
- Nürnberg : Universitätsbibliothek Erlangen-Nürnberg, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JAX B-12852 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Essays in constructive mathematics / Harold M. Edwards.
- Text
- New York : Springer, c2005.
- 2005
- 1 Item
Item details Format Call Number Item Location Text JSE 05-722 Offsite From sets and types to topology and analysis : towards practicable foundations for constructive mathematics / edited by Laura Crossila and Peter Schuster.
- Text
- Oxford : Clarendon, 2005.
- 2005
- 1 Item
Item details Format Call Number Item Location Text JSE 06-551 Offsite Strutture dell'argomentare / Enrico Moriconi.
- Text
- Pisa : ETS, c2009.
- 2009
- 1 Item
Item details Format Call Number Item Location Text ReCAP 10- 7251 Offsite Bounded arithmetic / Samuel R. Buss.
- Text
- Napoli : Bibliopolis, c1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text JSE 11-809 Offsite The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 / edited by A.S. Troelstra and D. van Dalen.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.
- 1982
- 1 Item
Item details Format Call Number Item Location Text QA9.56 .L2 1981 Off-site Notes on constructive mathematics.
- Text
- Stockholm : Almqvist & Wiksell, 1970.
- 1970
- 1 Item
Item details Format Call Number Item Location Text QA9 .M34 Off-site Entre intuition et analyse : Poincaré et le concept de prédicativité / par Gerhard Heinzmann.
- Text
- Paris : A. Blanchard, 1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text QA9.56 .H44 1985 Off-site From peturbative to constructive renormalization / Vincent Rivasseau.
- Text
- Princeton, N.J. : Princeton University Press, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QC174.17.R46 R58 1991 Off-site Intentional mathematics / edited by Stewart Shapiro.
- Text
- Amsterdam ; New York : North-Holland ; New YorK, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text QA9.46 .I57 1985 Off-site Fondements des mathématiques : introduction à une philosophie constructiviste / Yvon Gauthier.
- Text
- Montréal : Presses de l'Université de Montréal, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text QA8.4 .G38 Off-site Konstruktivnye prot︠s︡essy v matematike : (filos. aspekt) / V. N. Trestnikov ; AN SSSR, Nauch. sovet po kompleksnoĭ probleme Kibernetika, Sekt︠s︡ii︠a︡ filos. voprosov kibernetiki.
- Text
- Moskva : Nauka, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text QA9.56 .T76 Off-site Problemy razreshimosti i konstruktivnye modeli / I︠U︡.L. Ershov.
- Text
- Moskva : "Nauka," Glav. red. fiziko-matematicheskoĭ lit-ry, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA9.6 .E77 1980 Off-site Ot algoritmov - k suzhdenii︠a︡m. Ėksperimenty po obuchenii︠u︡ ėlementam mat. mʺshchlenii︠a︡. Vstupit. statʺi︠a︡ [c. 3-21]. A. I. Berga [i dr.]
- Text
- Moskva "Sov. radio," 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text QA9.58 .S5 Off-site Problems in the constructive trend in mathematics. Edited by V. P. Orevkov and M. [i.e. N.] A. Šanin.
- Text
- Providence, R.I., American Mathematical Society, 19
- 1970-present
- 1 Item
Item details Format Call Number Item Location Text QA303 205 Off-site Akademische Gedenkfeier für Paul Lorenzen : am 10. November 1995 / herausgegeben von Christian Thiel.
- Text
- Nürnberg : Universitätsbibliothek Erlangen-Nürnberg, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text QA9.56 .A43 1998x Off-site Mathēmatikos realismos / Giōrgos Rousopoulos.
- Text
- Athēna : Hellēnika Grammata, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA9.47 .R68 1999x Off-site Une histoire de l'imaginaire mathématique : vers le théorème fondamental de l'algèbre et sa demonstration par Laplace en 1795 / Carlos Alvarez & Jean Dhombres.
- Text
- Paris : Hermann, c2011.
- 2011
- 1 Item
Item details Format Call Number Item Location Text QA151 .A48 2011 Off-site Differential and integral; a constructive introduction to classical analysis. Translated by John Bacon.
- Text
- Austin, University of Texas Press [c1971]
- 1971
- 1 Item
Item details Format Call Number Item Location Text QA303.L87413 Off-site The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 / edited by A.S. Troelstra and D. van Dalen.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.
- 1982
- 1 Item
Item details Format Call Number Item Location Text QA9.56 .L2 1981 Off-site Notes on constructive mathematics.
- Text
- Stockholm, Almqvist & Wiksell, 1970.
- 1970
- 1 Item
Item details Format Call Number Item Location Text 8126.6205 Off-site Fondements des mathématiques : introduction à une philosophie constructiviste / Yvon Gauthier.
- Text
- Montréal : Presses de l'Université de Montréal, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text QA8.4 .G38 Off-site The Foundational debate : complexity and constructivity in mathematics and physics / edited by Werner DePauli-Schimanovich, Eckehart Köhler, Friedrich Stadler.
- Text
- Dordrecht ; Boston : Kluwer Academic, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA9.56 .F68 1995 Off-site Fine structure and iteration trees / William J. Mitchell, John R. Steel.
- Text
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA9.56 .M58 1994 Off-site The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 / edited by A.S. Troelstra and D. van Dalen.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.
- 1982
- 1 Item
Item details Format Call Number Item Location Text QA9.56 .L2 1981 Off-site Notes on constructive mathematics / by Per Martin-Löf.
- Text
- Stockholm : Almqvist & Wiksell, 1970.
- 1970
- 1 Item
Item details Format Call Number Item Location Text 8126.6205 Off-site Fondements des mathématiques : introduction à une philosophie constructiviste / Yvon Gauthier.
- Text
- Montréal : Presses de l'Université de Montréal, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text QA8.4 .G38 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
