Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 129 results
Combinators, lambda-terms and proof theory.
- Text
- Dordrecht, D. Reidel [1972]
- 1972
- 1 Item
Item details Format Call Number Item Location Text JSD 74-248 Offsite Logic in algebraic form. Three languages and theories.
- Text
- Amsterdam, North-Holland Pub. Co.; New York, American Elsevier Pub. Co., 1974.
- 1974
- 1 Item
Item details Format Call Number Item Location Text JSD 75-240 Offsite Tableau systems for first order number theory and certain higher order theories / Sue Toledo.
- Text
- Berlin ; New York : Springer-Verlag, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 446-447 Offsite Metamathematical investigation of intuitionistic arithmetic and analysis [by] A. S. Troelstra (ed.).
- Text
- Berlin, Heidelberg, New York, Springer, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 344-345 Offsite ISILC Proof Theory Symposium : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G. H. Müller.
- Text
- Berlin ; New York : Springer-Verlag, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 no. 500-501:&no. 1-500: Index Offsite Wahrheit und Beweisbarketi : e. Unters. über d. Verhältnis von Denken u. Anschauung in d. Mathematik / Johann Glöckl. 1. Aufl.
- Text
- Bonn : Bouvier, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text L-10 3546 Bd. 105-108 Offsite Beweisen : e. prakt.-semant. Unters. / Bruno Strecker. 1. Aufl.
- Text
- Tübingen : Niemeyer, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text JFE 77-2239 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.
Recursive program schemes : semantics and proof theory / W. P. de Roever, Jr.
- Text
- Amsterdam : Mathematisch Centrum, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text JSE 78-1183 Offsite Algebra of proofs / M. E. Szabo.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. : New York : sole distributors for the U. S.A. and Canada, Elsevier North-Holland, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text JSE 78-1502 Offsite Proof theory / Kurt Schütte ; translation from the German by J. N. Crossley.
- Text
- New York : Springer-Verlag, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text JSE 79-175 Offsite The unprovability of consistency : an essay in modal logic / George Boolos.
- Text
- Cambridge ; New York : Cambridge University Press, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text JFD 79-4409 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.
The unprovability of consistency : an essay in modal logic / George Boolos.
- Text
- Cambridge ; New York : Cambridge University Press, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text JFD 79-7676 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.
Proof theory / Gaisi Takeuti.
- Text
- Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSE 81-1001 Offsite Proof in mathematics ("if", "then" and "perhaps") : a collection of material illustrating the nature and variety of the idea of proof in mathematics / [by] P. R. Baxandall ... [et. al.].
- Text
- [Keele] : University of Keele, Institute of Education, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text JSD 81-41 Offsite Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.].
- Text
- Berlin ; New York : Springer-Verlag, 1981.
- 1981
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 895-897 Offsite Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, part II / by M.M. Richter ... [et al.]
- Text
- Berlin ; New York : Springer-Verlag, 1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 1104 Offsite Theories for admissible sets : a unifying approach to proof theory / Gerhard Jäger.
- Text
- Napoli : Bibliopolis, 1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text JSE 88-866 Offsite Provability and truth / Torkel Franzén.
- Text
- Stockholm : Almqvist & Wiksell, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text L-10 4187 v. 9 Offsite On the shape of mathematical arguments / A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra.
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSF 90-871 Offsite Prāmāṇyavādaḥ / Gaṅgeśopādhyāyaviracitaḥ ; Raghunāthaśiromaṇi viracitayā Dīdhityā, Śrīgadādharabhaṭṭācāryakrtayā Dīdhitiprakāśikayā ca alaṅkrtaḥ.
- Text
- Tirupatiḥ : Kendrīyasaṃskrtavidyāpīṭham ; Navadehalī : Rāṣṭrīyasaṃskrtasaṃsthānam, 1985.
- 1985-1911
- 1 Item
Item details Format Call Number Item Location Text *OKM 91-2351 Offsite 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
Item details Format Call Number Item Location Text JSE 92-478 Offsite Nonclassical logics and information processing : International Workshop, Berlin, Germany, November 9-10, 1990 : proceedings / D. Pearce, H. Wansing, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSF 93-282 Offsite Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 / edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer.
- Text
- Cambridge ; New York, NY : Cambridge University Press, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSE 93-1535 Offsite Complexity of proofs and their transformations in axiomatic theories / V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish].
- Text
- Providence, R.I. : American Mathematical Society, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSF 94-45 v. 128 Offsite The power of interaction / Carsten Lund.
- Text
- Cambridge, Mass. : MIT Press, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSE 94-1124 Offsite The logic of provability / George Boolos.
- Text
- Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JFE 94-13139 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Proof theory : an introduction / Wolfram Pohlers.
- Text
- Berlin ; New York : Springer-Verlag, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSF 95-194 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 Beweistheorie.
- Text
- Berlin, Springer, 1960.
- 1960
- 1 Item
Item details Format Call Number Item Location Text OEI (Schutte, K. Beweistheorie) Offsite Handbook of proof theory / edited by Samuel R. Buss.
- Text
- Amsterdam ; New York : Elsevier, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSD 99-191 Offsite Basic proof theory / A.S. Troelstra, H. Schwichtenberg.
- Text
- Cambridge ; New York : Cambridge University Press, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 99-1423 Offsite Cut elimination in categories / Kosta Došen.
- Text
- Dordrecht ; Boston : Kluwer Academic Publishers, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 99-1919 Offsite How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow.
- Text
- New York : Wiley, c2002.
- 2002
- 1 Item
Available Online
http://www.loc.gov/catdir/toc/onix06/2001026941.htmlItem details Format Call Number Item Location Text JBE 18-688 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.
Logic for concurrency and synchronisation / edited by Ruy J.G.B. de Queiroz.
- Text
- Dordrecht ; Boston : Kluwer Academic Publishers, c2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text JSE 03-1374 Offsite Thirty five years of automating mathematics / edited by Fairouz Kamareddine.
- Text
- Dordrecht ; Boston ; London : Kluwer Academic Publishers, c2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text JSE 04-184 Offsite Utilizing problem structure in planning : a local search approach / Jörg Hoffmann.
- Text
- Berlin ; New York : Springer-Verlag, 2003.
- 2003
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2854Item details Format Call Number Item Location Text JSE 04-864 Offsite Reductive logic and proof-search : proof theory, semantics, and control / David J. Pym and Eike Ritter.
- Text
- Oxford, UK : Clarendon Press ; New York : Oxford University Press, 2004.
- 2004
- 2 Items
Item details Format Call Number Item Location Text JSE 04-1093 Offsite Item details Format Call Number Item Location Text JFE 04-12424 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Memoirs of a proof theorist : Gödel and other logicians / [by Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.
- Text
- River Edge, NJ : World Scientific, c2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text JSE 05-549 Offsite Incompleteness : the proof and paradox of Kurt Gödel / Rebecca Goldstein.
- Text
- New York : W.W. Norton, c2005.
- 2005
- 1 Item
Available Online
http://www.loc.gov/catdir/toc/ecip051/2004023052.htmlItem details Format Call Number Item Location Text JFD 05-2728 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Set theory : Boolean-valued models and independence proofs / John L. Bell.
- Text
- Oxford : Oxford University Press, 2005.
- 2005
- 1 Item
Item details Format Call Number Item Location Text JSE 05-1035 Offsite Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn.
- Text
- Amsterdam ; Boston [MA] : Elsevier, 2006.
- 2006
- 1 Item
Item details Format Call Number Item Location Text JSE 06-1564 Offsite Proof / David Auburn : programs.
- Text
- 1 Item
Item details Format Call Number Item Location Text *T-PRG (Proof (Auburn)) Performing Arts Research Collections - Theatre Available - Can be used on site. Please visit New York Public Library - Performing Arts Research Collections to submit a request in person.
An introduction to mathematical reasoning : numbers, sets, and functions / Peter J. Eccles.
- Text
- Cambridge ; New York : Cambridge University Press, 1997 ‡g (2006 printing)
- 1997
- 1 Item
Item details Format Call Number Item Location Text *R-RMRR QA9.54 .E23 1997 Schwarzman Building - Main Reading Room 315 - Reference Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Le multiformi funzioni della dimostrazione / G. Lolli.
- Text
- Roma : Aracne, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JBX Q-468 Offsite Śrīmadannambhaṭṭaviracitā Tattvacintāmaṇyālokavyākhyā Siddhāñjanam : Prāmāṇyavāde jñaptivādaparyanto bhāgaḥ / sampādaka Muḷḷapūḍi Viśvanāthaśāstrī.
- Text
- Navadehalī : Rāṣṭriyasaṃskrtasaṃsthānam, 2006.
- 2006
- 1 Item
Item details Format Call Number Item Location Text *OKM 07-7127 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Proof theory : an introduction / Wolfram Pohlers.
- Text
- Berlin ; New York : Springer-Verlag, c1989.
- 1989
On the shape of mathematical arguments / A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra.
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
Beweis und Reflexion : philosophische Untersuchungen über die Grundlagen beweistheoretischer Praxen / Matthias Wille.
- Text
- Paderborn : Mentis, c2008.
- 2008
- 1 Item
Item details Format Call Number Item Location Text ReCAP 07-9075 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 Why is there philosophy of mathematics at all? / Ian Hacking.
- Text
- Cambridge, United Kingdom : Cambridge University Press, 2014.
- 2014
- 1 Item
Item details Format Call Number Item Location Text JFE 16-7931 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
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.
Explore Digital Research Books Beta