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
Theory of formal systems.
- Text
- Princeton, N.J., Princeton University Press, 1961.
- 1961
- 1 Item
Item details Format Call Number Item Location Text QA248.5 .S55 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 Logique, sémantique, métamathématique, 1923-1944.
- Text
- Paris, A. Colin, 1972-
- 1972
- 1 Item
Item details Format Call Number Item Location Text 6278.895 v. 1 Off-site Het belang van metatheoretisch onderzoek voor de toegepaste wiskunde : rede gehouden bij de officiële aanvaarding van het ambt van gewoon-hoogleraar in de toegepaste wiskunde, RU Utrecht, 26.09.1960 / door G.K. Braun.
- Text
- Groningen, J.B. Wolters, 1960.
- 1960
- 1 Item
Item details Format Call Number Item Location Text 8105.209 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.
Explore Digital Research Books Beta