Search Results for Logic, Symbolic and mathematical. - Narrowed by: Online Library - Logic, Symbolic and mathematical. - Science -- Philosophy.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dSUBJECT$002509Subject$002509Science$002b--$002bPhilosophy.$002509Science$002b--$002bPhilosophy.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?2024-08-29T12:43:20ZComputational Artifacts Towards a Philosophy of Computer Scienceent://SD_ILS/0/SD_ILS:4027122024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor Turner, Raymond. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55565-1">https://doi.org/10.1007/978-3-662-55565-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Propertiesent://SD_ILS/0/SD_ILS:3995662024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89650-2">https://doi.org/10.1007/978-3-319-89650-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Sizeent://SD_ILS/0/SD_ILS:3995762024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89653-3">https://doi.org/10.1007/978-3-319-89653-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismusent://SD_ILS/0/SD_ILS:3369682024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor Tapp, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336968.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29654-3">http://dx.doi.org/10.1007/978-3-642-29654-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Mathematical Experience, Study Editionent://SD_ILS/0/SD_ILS:1683732024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor Davis, Philip J. author. Hersh, Reuben. author. Marchisotto, Elena Anne. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-8295-8">http://dx.doi.org/10.1007/978-0-8176-8295-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008ent://SD_ILS/0/SD_ILS:2045272024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor Skof, Fulvia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-1836-5">http://dx.doi.org/10.1007/978-88-470-1836-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bellent://SD_ILS/0/SD_ILS:2057802024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor DeVidi, David. editor. Hallett, Michael. editor. Clarke, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Foundational Theories of Classical and Constructive Mathematicsent://SD_ILS/0/SD_ILS:2058422024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor Sommaruga, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Strict Finitism and the Logic of Mathematical Applicationsent://SD_ILS/0/SD_ILS:2060412024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor Ye, Feng. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1347-5">http://dx.doi.org/10.1007/978-94-007-1347-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Set Theoryent://SD_ILS/0/SD_ILS:1695902024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor Foreman, Matthew. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5764-9">http://dx.doi.org/10.1007/978-1-4020-5764-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Philosophy of Mathematics in the Early Husserlent://SD_ILS/0/SD_ILS:2050212024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor Centrone, Stefania. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3246-1">http://dx.doi.org/10.1007/978-90-481-3246-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Scienceent://SD_ILS/0/SD_ILS:1886342024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor Atmanspacher, Harald. editor. Primas, Hans. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85198-1">http://dx.doi.org/10.1007/978-3-540-85198-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From a Geometrical Point of View A Study of the History and Philosophy of Category Theoryent://SD_ILS/0/SD_ILS:1705222024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor Marquis, Jean-Pierre. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9384-5">http://dx.doi.org/10.1007/978-1-4020-9384-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Educationent://SD_ILS/0/SD_ILS:1523412024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor Kerkhove, Bart. Bendegem, Jean Paul. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-5034-8">http://dx.doi.org/10.1007/1-4020-5034-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Arché Papers on the Mathematics of Abstractionent://SD_ILS/0/SD_ILS:1522542024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor Cook, Roy T. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-4265-2">http://dx.doi.org/10.1007/978-1-4020-4265-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Spatial Logicsent://SD_ILS/0/SD_ILS:1524042024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor Aiello, Marco. Pratt-Hartmann, Ian. Benthem, Johan. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5587-4">http://dx.doi.org/10.1007/978-1-4020-5587-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A logical Approach to Philosophy Essays in Honour of Graham Solomonent://SD_ILS/0/SD_ILS:1522222024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor Devidi, David. Kenyon, Tim. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4054-7">http://dx.doi.org/10.1007/1-4020-4054-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cambridge and Vienna Frank P. Ramsey and the Vienna Circleent://SD_ILS/0/SD_ILS:1522282024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor Galavotti, Maria Carla. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4101-2">http://dx.doi.org/10.1007/1-4020-4101-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Laws of Natureent://SD_ILS/0/SD_ILS:1525642024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor Mittelstaedt, Peter. Weingartner, Paul A. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28303-X">http://dx.doi.org/10.1007/3-540-28303-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Visualization, Explanation and Reasoning Styles in Mathematicsent://SD_ILS/0/SD_ILS:1688742024-08-29T12:43:20Z2024-08-29T12:43:20ZAuthor Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3335-4">http://dx.doi.org/10.1007/1-4020-3335-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>