Search Results for Logic - Narrowed by: English - 2009 - Algebra. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dPUBDATE$002509Publication$002bDate$0025092009$0025092009$0026qf$003dSUBJECT$002509Subject$002509Algebra.$002509Algebra.$0026te$003dILS$0026ps$003d300?dt=list 2024-10-01T11:22:40Z Stochastic Coalgebraic Logic ent://SD_ILS/0/SD_ILS:190484 2024-10-01T11:22:40Z 2024-10-01T11:22:40Z Author&#160;Doberkat, Ernst-Erich. 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-642-02995-0">http://dx.doi.org/10.1007/978-3-642-02995-0</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-10-01T11:22:40Z 2024-10-01T11:22:40Z 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/> Proof Theory for Fuzzy Logics ent://SD_ILS/0/SD_ILS:170527 2024-10-01T11:22:40Z 2024-10-01T11:22:40Z 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/> From a Geometrical Point of View A Study of the History and Philosophy of Category Theory ent://SD_ILS/0/SD_ILS:170522 2024-10-01T11:22:40Z 2024-10-01T11:22:40Z 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/> Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191011 2024-10-01T11:22:40Z 2024-10-01T11:22:40Z Author&#160;Berghammer, Rudolf. editor.&#160;Jaoua, Ali Mohamed. editor.&#160;M&ouml;ller, Bernhard. 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-642-04639-1">http://dx.doi.org/10.1007/978-3-642-04639-1</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-10-01T11:22:40Z 2024-10-01T11:22:40Z 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/> Mathematical Olympiad Challenges ent://SD_ILS/0/SD_ILS:168224 2024-10-01T11:22:40Z 2024-10-01T11:22:40Z 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/> Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics ent://SD_ILS/0/SD_ILS:176001 2024-10-01T11:22:40Z 2024-10-01T11:22:40Z 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/>