Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-5 of 5 results
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 Einführung in die philosophischen Grundlagen der Mathematik.
- Text
- [Hannover] Schroedel; [Paderborn] Schöningh [1968]
- 1968
- 1 Item
Item details Format Call Number Item Location Text QA9 .F764 Off-site Les limitations internes des formalismes; étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques.
- Text
- Louvain, E. Nauwelaerts, 1957.
- 1957
- 1 Item
Item details Format Call Number Item Location Text QA9 .L28 Off-site Théorie métamathématique des idéaux.
- Text
- Paris, Gauthier-Villars, 1955.
- 1955
- 1 Item
Item details Format Call Number Item Location Text 8105.777 Off-site Metamathematics, machines, and Gödel's proof / N. Shankar.
- Text
- Cambridge ; New York : Cambridge University Press, 1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 S526 1994 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.
