Search Results for Mathematics. - Narrowed by: SpringerLink (Online service) - E-Book - Electronic Library - 2009 - Logic, Symbolic and mathematical. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematics.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092009$0025092009$0026qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300? 2024-09-07T14:18:56Z Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics ent://SD_ILS/0/SD_ILS:176001 2024-09-07T14:18:56Z 2024-09-07T14:18:56Z Author&#160;Constanda, Christian. 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-84882-539-0">http://dx.doi.org/10.1007/978-1-84882-539-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators ent://SD_ILS/0/SD_ILS:167188 2024-09-07T14:18:56Z 2024-09-07T14:18:56Z Author&#160;Soifer, Alexander. 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-387-74642-5">http://dx.doi.org/10.1007/978-0-387-74642-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Boolean Algebras ent://SD_ILS/0/SD_ILS:166584 2024-09-07T14:18:56Z 2024-09-07T14:18:56Z Author&#160;Halmos, Paul. author.&#160;Givant, Steven. 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-387-68436-9">http://dx.doi.org/10.1007/978-0-387-68436-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Missing Link in Cybernetics Logic and Continuity ent://SD_ILS/0/SD_ILS:167239 2024-09-07T14:18:56Z 2024-09-07T14:18:56Z Author&#160;Andrew, Alex M. 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-387-75164-1">http://dx.doi.org/10.1007/978-0-387-75164-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generalized Measure Theory ent://SD_ILS/0/SD_ILS:167412 2024-09-07T14:18:56Z 2024-09-07T14:18:56Z Author&#160;Wang, Zhenyuan. author.&#160;Klir, George J. 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-387-76852-6">http://dx.doi.org/10.1007/978-0-387-76852-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logicism, Intuitionism, and Formalism What has Become of Them? ent://SD_ILS/0/SD_ILS:170380 2024-09-07T14:18:56Z 2024-09-07T14:18:56Z 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/> Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV ent://SD_ILS/0/SD_ILS:170432 2024-09-07T14:18:56Z 2024-09-07T14:18:56Z Author&#160;Makinson, David. editor.&#160;Malinowski, Jacek. editor.&#160;Wansing, Heinrich. 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-9084-4">http://dx.doi.org/10.1007/978-1-4020-9084-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Games: Unifying Logic, Language, and Philosophy ent://SD_ILS/0/SD_ILS:170517 2024-09-07T14:18:56Z 2024-09-07T14:18:56Z Author&#160;Majer, Ondrej. editor.&#160;Pietarinen, Ahti-Veikko. editor.&#160;Tulenheimo, Tero. 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-9374-6">http://dx.doi.org/10.1007/978-1-4020-9374-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From a Geometrical Point of View A Study of the History and Philosophy of Category Theory ent://SD_ILS/0/SD_ILS:170522 2024-09-07T14:18:56Z 2024-09-07T14:18:56Z Author&#160;Marquis, Jean-Pierre. author.&#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-9384-5">http://dx.doi.org/10.1007/978-1-4020-9384-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proof Theory for Fuzzy Logics ent://SD_ILS/0/SD_ILS:170527 2024-09-07T14:18:56Z 2024-09-07T14:18:56Z Author&#160;Metcalfe, George. author.&#160;Olivetti, Nicola. author.&#160;Gabbay, Dov. author.&#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-9409-5">http://dx.doi.org/10.1007/978-1-4020-9409-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proof Theory The First Step into Impredicativity ent://SD_ILS/0/SD_ILS:185783 2024-09-07T14:18:56Z 2024-09-07T14:18:56Z Author&#160;Pohlers, Wolfram. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69319-2">http://dx.doi.org/10.1007/978-3-540-69319-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logische Grundlagen der Mathematik ent://SD_ILS/0/SD_ILS:189560 2024-09-07T14:18:56Z 2024-09-07T14:18:56Z Author&#160;Schindler, Ralf. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-95932-8">http://dx.doi.org/10.1007/978-3-540-95932-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Olympiad Challenges ent://SD_ILS/0/SD_ILS:168224 2024-09-07T14:18:56Z 2024-09-07T14:18:56Z Author&#160;Andreescu, Titu. author.&#160;Gelca, R&#259;zvan. 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-8176-4611-0">http://dx.doi.org/10.1007/978-0-8176-4611-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Composition Paradigms of Automated Music Generation ent://SD_ILS/0/SD_ILS:177042 2024-09-07T14:18:56Z 2024-09-07T14:18:56Z Author&#160;Nierhaus, Gerhard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-211-75540-2">http://dx.doi.org/10.1007/978-3-211-75540-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>