Search Results for Mathematical logic. - Narrowed by: Algebra. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematical$002blogic.$0026qf$003dSUBJECT$002509Subject$002509Algebra.$002509Algebra.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-12-23T04:16:38Z A Course on Mathematical Logic ent://SD_ILS/0/SD_ILS:331853 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Srivastava, Shashi Mohan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331853.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-5746-6">http://dx.doi.org/10.1007/978-1-4614-5746-6</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-12-23T04:16:38Z 2024-12-23T04:16:38Z 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/> Towards a General Theory of Classifications ent://SD_ILS/0/SD_ILS:332639 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Parrochia, Daniel. author.&#160;Neuville, Pierre. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332639.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-0348-0609-1">http://dx.doi.org/10.1007/978-3-0348-0609-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cylindric-like Algebras and Algebraic Logic ent://SD_ILS/0/SD_ILS:333922 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Andr&eacute;ka, Hajnal. editor.&#160;Ferenczi, Mikl&oacute;s. editor.&#160;N&eacute;meti, Istv&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333922.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35025-2">http://dx.doi.org/10.1007/978-3-642-35025-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Springer-Handbuch der Mathematik II Begr&uuml;ndet von I.N. Bronstein und K.A. Semendjaew Weitergef&uuml;hrt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler ent://SD_ILS/0/SD_ILS:337476 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Zeidler, Eberhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337476.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-00297-8">http://dx.doi.org/10.1007/978-3-658-00297-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion ent://SD_ILS/0/SD_ILS:332605 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Hinkis, Arie. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332605.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-0348-0224-6">http://dx.doi.org/10.1007/978-3-0348-0224-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334580 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Cellier, Peggy. editor.&#160;Distel, Felix. editor.&#160;Ganter, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334580.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38317-5">http://dx.doi.org/10.1007/978-3-642-38317-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Lecture Notes on O-Minimal Structures and Real Analytic Geometry ent://SD_ILS/0/SD_ILS:174371 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Miller, Chris. editor.&#160;Rolin, Jean-Philippe. editor.&#160;Speissegger, Patrick. 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-4614-4042-0">http://dx.doi.org/10.1007/978-1-4614-4042-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Algebraic Specification and Formal Software Development ent://SD_ILS/0/SD_ILS:193572 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Sannella, Donald. author.&#160;Tarlecki, Andrzej. 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-17336-3">http://dx.doi.org/10.1007/978-3-642-17336-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proofs and Fundamentals A First Course in Abstract Mathematics ent://SD_ILS/0/SD_ILS:172780 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Bloch, Ethan D. 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-4419-7127-2">http://dx.doi.org/10.1007/978-1-4419-7127-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles ent://SD_ILS/0/SD_ILS:192389 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Bartocci, Claudio. editor.&#160;Betti, Renato. editor.&#160;Guerraggio, Angelo. editor.&#160;Lucchetti, Roberto. 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-13606-1">http://dx.doi.org/10.1007/978-3-642-13606-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematics ent://SD_ILS/0/SD_ILS:167264 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z 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-75472-7">http://dx.doi.org/10.1007/978-0-387-75472-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Objects to Diagrams for Ranges of Functors ent://SD_ILS/0/SD_ILS:194813 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Gillibert, Pierre. author.&#160;Wehrung, Friedrich. 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-21774-6">http://dx.doi.org/10.1007/978-3-642-21774-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cardinal Invariants on Boolean Algebras ent://SD_ILS/0/SD_ILS:176670 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Monk, J. Donald. 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-0346-0334-8">http://dx.doi.org/10.1007/978-3-0346-0334-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson ent://SD_ILS/0/SD_ILS:166574 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Chudnovsky, David. editor.&#160;Chudnovsky, Gregory. editor.&#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-68361-4">http://dx.doi.org/10.1007/978-0-387-68361-4</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-12-23T04:16:38Z 2024-12-23T04:16:38Z 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/> Introduction to Boolean Algebras ent://SD_ILS/0/SD_ILS:166584 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z 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/> From a Geometrical Point of View A Study of the History and Philosophy of Category Theory ent://SD_ILS/0/SD_ILS:170522 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z 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-12-23T04:16:38Z 2024-12-23T04:16:38Z 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/> Mathematical Olympiad Challenges ent://SD_ILS/0/SD_ILS:168224 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z 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/> Field Arithmetic ent://SD_ILS/0/SD_ILS:187826 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Fried, Michael D. author.&#160;Jarden, Moshe. 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-77270-5">http://dx.doi.org/10.1007/978-3-540-77270-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns ent://SD_ILS/0/SD_ILS:170250 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Pagliani, Piero. editor.&#160;Chakraborty, Mihir. 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-8622-9">http://dx.doi.org/10.1007/978-1-4020-8622-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra ent://SD_ILS/0/SD_ILS:166115 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Cox, David. author.&#160;Little, John. author.&#160;O&rsquo;Shea, Donal. 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-35651-8">http://dx.doi.org/10.1007/978-0-387-35651-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Beginner&rsquo;s Guide to Graph Theory ent://SD_ILS/0/SD_ILS:168208 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Wallis, W. D. 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-4580-9">http://dx.doi.org/10.1007/978-0-8176-4580-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Axiom of Choice ent://SD_ILS/0/SD_ILS:183983 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Herrlich, Horst. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11601562">http://dx.doi.org/10.1007/11601562</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory ent://SD_ILS/0/SD_ILS:184338 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Lau, Dietlinde. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-36023-9">http://dx.doi.org/10.1007/3-540-36023-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Congruences of a Finite Lattice A Proof-by-Picture Approach ent://SD_ILS/0/SD_ILS:168148 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Gr&auml;tzer, George. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-8176-4462-8">http://dx.doi.org/10.1007/0-8176-4462-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Set Theory Centre de Recerca Matem&agrave;tica Barcelona, 2003&ndash;2004 ent://SD_ILS/0/SD_ILS:197974 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Bagaria, Joan. editor.&#160;Todorcevic, Stevo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-7643-7692-9">http://dx.doi.org/10.1007/3-7643-7692-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Essays in Constructive Mathematics ent://SD_ILS/0/SD_ILS:165337 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Edwards, Harold M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138656">http://dx.doi.org/10.1007/b138656</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Field Arithmetic ent://SD_ILS/0/SD_ILS:181100 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Fried, Michael D. author.&#160;Jarden, Moshe. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138352">http://dx.doi.org/10.1007/b138352</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Valued Fields ent://SD_ILS/0/SD_ILS:182242 2024-12-23T04:16:38Z 2024-12-23T04:16:38Z Author&#160;Engler, Antonio J. author.&#160;Prestel, Alexander. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-30035-X">http://dx.doi.org/10.1007/3-540-30035-X</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>