Search Results for Logic, Symbolic and mathematical. - Narrowed by: 2012 - Logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092012$0025092012$0026qf$003dSUBJECT$002509Subject$002509Logic.$002509Logic.$0026te$003dILS$0026ps$003d300? 2024-11-12T14:09:59Z 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-11-12T14:09:59Z 2024-11-12T14:09:59Z 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/> Around and Beyond the Square of Opposition ent://SD_ILS/0/SD_ILS:176782 2024-11-12T14:09:59Z 2024-11-12T14:09:59Z Author&#160;B&eacute;ziau, Jean-Yves. editor.&#160;Jacquette, Dale. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-0348-0379-3">http://dx.doi.org/10.1007/978-3-0348-0379-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Truth and Falsehood An Inquiry into Generalized Logical Values ent://SD_ILS/0/SD_ILS:205958 2024-11-12T14:09:59Z 2024-11-12T14:09:59Z Author&#160;Shramko, Yaroslav. author.&#160;Wansing, Heinrich. author.&#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-0907-2">http://dx.doi.org/10.1007/978-94-007-0907-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>