Research Catalog

New! Try our Article Search to discover online journals, books, and more from home with your library card.

Selected filters.Clear Filters

  • Metamathematical investigation of intuitionistic arithmetic and analysis [by] A. S. Troelstra (ed.).

    • Text
    • Berlin, Heidelberg, New York, Springer, 1973.
    • 1973
    • 1 Item
    FormatCall NumberItem Location
    Text JSM 95-200 v. 344-345Offsite

  • Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra.

    • Text
    • Oxford [Eng.] : Clarendon Press, 1977.
    • 1977
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 77-1484Offsite

  • Elemente de logică intuitionistă / Alexandru Surdu.

    • Text
    • Bucuresti : Editura Academiei Republicii Socialiste România, 1976.
    • 1976
    • 1 Item
    FormatCall NumberItem Location
    Text JSD 78-397Offsite

  • 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
    FormatCall NumberItem Location
    Text JSM 95-200 v. 873-874Offsite

  • Intuitionistic type theory / Per Martin-Löf ; notes by Giovanni Sambin of a series of lectures given in Padua, June 1980.

    • Text
    • Napoli : Bibliopolis, 1984.
    • 1984
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 87-195Offsite

  • Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen.

    • Text
    • Cambridge, Mass. : MIT Press, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 92-478Offsite

  • Jing dian luo ji yu zhi jue zhu yi luo ji / Feng Mian zhu.

    • Text
    • Shanghai : Shanghai ren min chu ban she : Xin hua shu dian Shanghai fa xing suo jing xiao, 1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text *OVR 94-1550Offsite

  • Intuition et intuitionisme / Jean Largeault ; avec la traduction de deux textes de Brouwer en annexe.

    • Text
    • Paris : J. Vrin, 1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text JFD 95-15165Schwarzman Building - Main Reading Room 315
    Request for On-site UseRequest Scan

    Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.

  • Elements of intuitionism.

    • Text
    • Oxford : Clarendon Press ; New York : Oxford University Press, 2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 00-1896Offsite

  • Panoramica sulle logiche intuizionistiche modali / Gisèle Fischer Servi.

    • Text
    • Parma : Zara, 1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 96-727Offsite

  • Luitzen Brouwer [electronic resource] / Alex K. Rich.

    • Text
    • [Toledo, Ohio] : Great Neck Publishing, 2006.
    • 2006-
    • 2 Resources

    Available Online

    See All Available Online Resources

  • Mathematical intuitionism / Carl J. Posy.

    • Text
    • Cambridge : Cambridge University Press, 2020.
    • 2020
    • 1 Item
    FormatCall NumberItem Location
    Text JFE 21-5948Schwarzman Building - Main Reading Room 315
    Request for On-site UseRequest Scan

    Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.

  • Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine / Paolo Maffezioli.

    • Text
    • Bologna : CLUEB, [2020]
    • 2020
    • 1 Item
    FormatCall NumberItem Location
    Text ReCAP 20-76775Offsite

  • L'intuitionnisme dialogique : une lecture iconoclaste de l'iconoclasme de Brouwer / Clément Lion.

    • Text
    • Paris : Classiques Garnier, 2023.
    • 2023-2023
    • 1 Item
    FormatCall NumberItem Location
    Text ReCAP 23-108958Offsite

  • 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
    FormatCall NumberItem Location
    Text QA9.56 .L2 1981Off-site

  • Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra.

    • Text
    • Oxford [Eng.] : Clarendon Press, 1977.
    • 1977
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.47 .T77Off-site

  • Principles of intuitionism / [By] A. S. Troelstra.

    • Text
    • Berlin ; Heidelberg ; New York : Springer, 1969.
    • 1969
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.47 .T774 1969gOff-site

  • Mathematical intuitionism and intersubjectivity : a critical exposition of arguments for intuitionism / by Tomasz Placek.

    • Text
    • Boston : Kluwer Academic Publishers, 1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text QA8.4 .P58 1999Off-site

  • Intuitionismus und Relevanz / Yaroslav Shramko.

    • Text
    • Berlin : Logos, 1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.47 .S53 1999gOff-site

  • Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen.

    • Text
    • Cambridge, Mass. : MIT Press, [1990], ©1990.
    • 1990-1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.54 .W35 1990Off-site

  • Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay.

    • Text
    • Dordrecht, Holland ; Boston : D. Reidel Pub. Co. ; Hingham, MA : distributed in the U.S.A. and Canada by Kluwer Boston, c1981.
    • 1981
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.47 .G32Off-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

  • 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
    FormatCall NumberItem Location
    Text QA9.46 .I57 1985Off-site

  • Proof methods for modal and intuitionistic logics / Melvin Fitting.

    • Text
    • Dordrecht, Holland ; Boston, U.S.A. : D. Reidel ; Hingham, MA : Sold and distributed in the U.S.A. and Canada by Kluwer Boston, c1983.
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.54 .F57 1983Off-site

  • The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen.

    • Text
    • Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.
    • 1980
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.6 .K53 1978Off-site

  • Valido e provabile : ricerche storico-critiche sulla logica del '900 / Pierdaniele Giaretta.

    • Text
    • Padova : Cleup, 1978.
    • 1978
    • 1 Item
    FormatCall NumberItem Location
    Text BC135 .G48Off-site

  • Brouwer's Cambridge lectures on intuitionism / edited by D. van Dalen.

    • Text
    • Cambridge [Eng.] ; New York : Cambridge University Press, 1981.
    • 1981
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.47 .B76 1981Off-site

  • Metodologicheskie problemy intuit︠s︡ionistskoĭ matematiki / M.I. Panov ; otvetstvennyĭ redaktor E.F. Solopov.

    • Text
    • Moskva : Izd-vo "Nauka", 1984.
    • 1984
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.47 .P36 1984Off-site

  • Intuitionismus / von Luitzen Egbertus Jan Brouwer ; herausgegeben, eingeleitet, und kommentiert von Dirk van Dalen.

    • Text
    • Mannheim : B I Wissenschaftsverlag, c1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.47 .B77 1992Off-site

  • L'intuitionisme / Jean Largeault.

    • Text
    • Paris : Presses universitaires de France, 1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.47 .L37 1992xOff-site

  • Die hoofstelling van die algebra van intuïsionistiese standpunt / door Barend de Loor.

    • Text
    • Amsterdam : Swets & Zeitlinger, [1925]
    • 1925
    • 1 Item
    FormatCall NumberItem Location
    Text Math FilesOff-site

  • L. E. J. Brouwer pensatore eterodosso : l'intuizionismo in filosofia e matematica / Miriam Franchella.

    • Text
    • Milano : A. Guerini, 1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA29.B697 F73 1994xOff-site

  • Mathēmatikos realismos / Giōrgos Rousopoulos.

    • Text
    • Athēna : Hellēnika Grammata, 1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.47 .R68 1999xOff-site

  • Phenomenology of choice sequences = Fenomenologie van de keuzerij / door Markus Sebastiaan Paul Rogier van Atten.

    • Text
    • Utrecht : Leiden-Utrecht Research Institute of Philosophy, ©1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.47 .A88 1999Off-site

  • L.E.J. Brouwer, 1881-1966 : een biografie : het heldere licht van de wiskunde / Dirk van Dalen.

    • Text
    • Amsterdam : B. Bakker, 2002.
    • 2002
    • 1 Item
    FormatCall NumberItem Location
    Text QA29.B697 D34 2002Off-site

  • On Brouwer / Mark Van Atten.

    • Text
    • Australia ; Belmont, Calif. : Wadsworth, c2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text QA29.B697 A88 2004Off-site

  • Intuition and the axiomatic method / edited by Emily Carson and Renate Huber.

    • Text
    • Dordrecht ; Springer, c2006.
    • 2006
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.47 .I57 2006Off-site

  • Intuitionism vs. classicism : a mathematical attack on classical logic / Nick Haverkamp.

    • Text
    • Frankfurt am Main : Vittorio Klostermann, [2015]
    • 2015
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.47 .H38 2015Off-site

  • Intuitionism; an introduction.

    • Text
    • Amsterdam, North-Holland Pub. Co., 1956.
    • 1956
    • 1 Item
    FormatCall NumberItem Location
    Text MICROFILM 02201Off-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
    FormatCall NumberItem Location
    Text QA9.56 .L2 1981Off-site

  • Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra.

    • Text
    • Oxford [Eng.] : Clarendon Press, 1977.
    • 1977
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.47.T77Off-site

  • Intuitionistische axiomatiek der projectieve meetkunde / door Arend Heyting.

    • Text
    • Groningen, 1925.
    • 1925
    • 1 Item
    FormatCall NumberItem Location
    Text 8171.457Off-site

  • Issledovanii︠a︡ po neklassicheskim logikam i formalʹnym sistemam / Gosudarstvennyĭ komitet Soveta Ministrov SSSR po nauke i tekhnike, Akademii︠a︡ nauk SSSR [i] Vsesoi︠u︡znyĭ institut nauchnoĭ ĭ tekhnicheskoĭ informat︠s︡ii ; [otv. redaktor A.I. Mikhaĭlov].

    • Text
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.4 .I77Off-site

  • Intuitionismus und Relevanz / Yaroslav Shramko.

    • Text
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.47.S53 1999Off-site

  • One hundred years of intuitionism (1907-2007) : the Cerisy conference / Mark van Atten ... [et al.], editors.

    • Text
    • Basel ; Boston : Birkhauser, c2008.
    • 2008
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.47 .O54 2008Off-site

  • Intuitionistic mathematics and logic [microform] / by Michael Dummott.

    • Text
    • 1990-1974
    • 1 Item
    FormatCall NumberItem Location
    Text MICROFILM 06794Off-site

  • Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine / Paolo Maffezioli.

    • Text
    • Bologna : CLUEB, [2020]
    • 2020
    • 1 Item
    FormatCall NumberItem Location
    Text QA281 .M25 2020Off-site

  • L'intuitionnisme dialogique : une lecture iconoclaste de l'iconoclasme de Brouwer / Clément Lion.

    • Text
    • Paris : Classiques Garnier, 2023.
    • 2023-2023
    • 1 Item
    FormatCall NumberItem Location
    Text QA29.B697 L56 2023 Off-site

  • Intuitionism; an introduction.

    • Text
    • Amsterdam, North-Holland Pub. Co., 1956.
    • 1956
    • 1 Item
    FormatCall NumberItem Location
    Text MICROFILM 02201Off-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
    FormatCall NumberItem Location
    Text QA9.56 .L2 1981Off-site

  • Intuitionistische axiomatiek der projectieve meetkunde / door Arend Heyting.

    • Text
    • Groningen, 1925.
    • 1925
    • 1 Item
    FormatCall NumberItem Location
    Text 8171.457Off-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.

digital-research-book
Explore Digital Research Books Beta