Search Results for Mathematics. - Narrowed by: 2011 - Logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematics.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092011$0025092011$0026qf$003dSUBJECT$002509Subject$002509Logic.$002509Logic.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300? 2024-07-25T01:09:16Z Foundational Theories of Classical and Constructive Mathematics ent://SD_ILS/0/SD_ILS:205842 2024-07-25T01:09:16Z 2024-07-25T01:09:16Z Author&#160;Sommaruga, Giovanni. 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-0431-2">http://dx.doi.org/10.1007/978-94-007-0431-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell ent://SD_ILS/0/SD_ILS:205780 2024-07-25T01:09:16Z 2024-07-25T01:09:16Z Author&#160;DeVidi, David. editor.&#160;Hallett, Michael. editor.&#160;Clarke, Peter. 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-0214-1">http://dx.doi.org/10.1007/978-94-007-0214-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Selected Correspondence of L.E.J. Brouwer ent://SD_ILS/0/SD_ILS:168529 2024-07-25T01:09:16Z 2024-07-25T01:09:16Z Author&#160;Dalen, Dirk. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-537-8">http://dx.doi.org/10.1007/978-0-85729-537-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A treatise on induction and probability ent://SD_ILS/0/SD_ILS:55443 2024-07-25T01:09:16Z 2024-07-25T01:09:16Z Author&#160;Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number&#160;BC 91 W72 1951 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction ent://SD_ILS/0/SD_ILS:72527 2024-07-25T01:09:16Z 2024-07-25T01:09:16Z Author&#160;Nicod, Jean, 1893-1924.<br/>Preferred Shelf Number&#160;QA 681 N5 1930 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Logical studies ent://SD_ILS/0/SD_ILS:72539 2024-07-25T01:09:16Z 2024-07-25T01:09:16Z Author&#160;Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number&#160;BC 6 W72 1957 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The technique of controversy : principles of dynamic logic ent://SD_ILS/0/SD_ILS:72543 2024-07-25T01:09:16Z 2024-07-25T01:09:16Z Author&#160;Bogoslovsky, Boris Basil, 1890-<br/>Preferred Shelf Number&#160;BC 108 B65 1928 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Dual Tableaux: Foundations, Methodology, Case Studies ent://SD_ILS/0/SD_ILS:205717 2024-07-25T01:09:16Z 2024-07-25T01:09:16Z Author&#160;Orlowska, Ewa. author.&#160;Goli&#324;ska Pilarek, Joanna. 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-0005-5">http://dx.doi.org/10.1007/978-94-007-0005-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Games, Norms and Reasons Logic at the Crossroads ent://SD_ILS/0/SD_ILS:205924 2024-07-25T01:09:16Z 2024-07-25T01:09:16Z Author&#160;van Benthem, Johan. editor.&#160;Gupta, Amitabha. editor.&#160;Pacuit, Eric. 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-0714-6">http://dx.doi.org/10.1007/978-94-007-0714-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>