Search Results for Lindstr&ouml;m, Sten. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLindstr$0025C3$0025B6m$00252C$002bSten.$0026ic$003dtrue$0026ps$003d300? 2024-12-14T02:01:38Z Logicism, Intuitionism, and Formalism What has Become of Them? ent://SD_ILS/0/SD_ILS:170380 2024-12-14T02:01:38Z 2024-12-14T02:01:38Z Author&#160;Lindstr&ouml;m, Sten. editor.&#160;Palmgren, Erik. editor.&#160;Segerberg, Krister. editor.&#160;Stoltenberg-Hansen, Viggo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-8926-8">http://dx.doi.org/10.1007/978-1-4020-8926-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-L&ouml;f ent://SD_ILS/0/SD_ILS:206660 2024-12-14T02:01:38Z 2024-12-14T02:01:38Z Author&#160;Dybjer, P. editor.&#160;Lindstr&ouml;m, Sten. editor.&#160;Palmgren, Erik. editor.&#160;Sundholm, G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-4435-6">http://dx.doi.org/10.1007/978-94-007-4435-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>