Search Results for Logic, Symbolic and mathematical. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026pe$003dd$00253A$0026ps$003d300$0026isd$003dtrue? 2025-01-15T21:50:20Z The limits of science : outline of logic and of the methodology of the exact sciences ent://SD_ILS/0/SD_ILS:72557 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Chwistek, Leon, 1884-&#160;Brodie, Helen Charlotte, 1915-<br/>Preferred Shelf Number&#160;Q 175 C494 1948 A (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The logical syntax of language ent://SD_ILS/0/SD_ILS:72509 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number&#160;BC 135 C323 1937 P (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The foundations of mathematics : and other logical essays ent://SD_ILS/0/SD_ILS:72541 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Ramsey, Frank Plumpton, 1903-1930.&#160;Braithwaite, Richard Bevan, ed.<br/>Preferred Shelf Number&#160;QA 9 R23 1931<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The nature of mathematics : a critical survey ent://SD_ILS/0/SD_ILS:72542 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Black, Max, 1909-<br/>Preferred Shelf Number&#160;QA 9 B62 1933 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Mathematical logic : A course with exercises ent://SD_ILS/0/SD_ILS:76678 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Cori, Rene.&#160;Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number&#160;QA 9 C742513 2000 PT.1<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> An examination of logical positivism ent://SD_ILS/0/SD_ILS:44223 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number&#160;B 824.6 W434 1936 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Computational Artifacts Towards a Philosophy of Computer Science ent://SD_ILS/0/SD_ILS:402712 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Turner, Raymond. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties ent://SD_ILS/0/SD_ILS:399566 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Schlechta, Karl. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size ent://SD_ILS/0/SD_ILS:399576 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Schlechta, Karl. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics for Computer Science Classical and Non-Classical ent://SD_ILS/0/SD_ILS:399616 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Wasilewska, Anita. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92591-2">https://doi.org/10.1007/978-3-319-92591-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Model Checking ent://SD_ILS/0/SD_ILS:401293 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Clarke, Edmund M. editor.&#160;Henzinger, Thomas A. editor.&#160;Veith, Helmut. editor.&#160;Bloem, Roderick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Introduction to the Technique of Formative Processes in Set Theory ent://SD_ILS/0/SD_ILS:401806 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Cantone, Domenico. author.&#160;Ursino, Pietro. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74778-1">https://doi.org/10.1007/978-3-319-74778-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensions ent://SD_ILS/0/SD_ILS:402514 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Buscema, Paolo Massimo. author.&#160;Massini, Giulia. author.&#160;Breda, Marco. author.&#160;Lodwick, Weldon A. author.&#160;Newman, Francis. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75049-1">https://doi.org/10.1007/978-3-319-75049-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Cyber-Physical Systems ent://SD_ILS/0/SD_ILS:399499 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Platzer, Andr&eacute;. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63588-0">https://doi.org/10.1007/978-3-319-63588-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A concise introduction to pure mathematics ent://SD_ILS/0/SD_ILS:378828 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Liebeck, M. W. (Martin W.), 1954-<br/>Preferred Shelf Number&#160;QA9 L478 2016<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Logic and discrete mathematics : a concise introduction ent://SD_ILS/0/SD_ILS:374000 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Conradie, Willem, 1978- author.&#160;Goranko, Valentin, author.<br/>Preferred Shelf Number&#160;QA9 C7423 2015<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Introduction to mathematical logic ent://SD_ILS/0/SD_ILS:364720 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Mendelson, Elliott.<br/>Preferred Shelf Number&#160;QA9 M4 2015<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Commonsense reasoning an event calculus-based approach ent://SD_ILS/0/SD_ILS:355437 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Mueller, Erik T., author.<br/>Preferred Shelf Number&#160;ONLINE(355437.1)<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128014165">http://www.sciencedirect.com/science/book/9780128014165</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal logic, or, The calculus of inference, necessary and probable ent://SD_ILS/0/SD_ILS:363957 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;De Morgan, Augustus, 1806-1871, author.<br/>Preferred Shelf Number&#160;BC135 D4 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> A transition to mathematics with proofs ent://SD_ILS/0/SD_ILS:269594 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Cullinane, Michael J.<br/>Preferred Shelf Number&#160;QA9 C84 2013<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Discrete mathematics and its applications ent://SD_ILS/0/SD_ILS:271169 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Rosen, Kenneth H.&#160;Krithivasan, Kamala.<br/>Preferred Shelf Number&#160;QA39.3 R674 2013<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Logicism and its philosophical legacy ent://SD_ILS/0/SD_ILS:280304 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Demopoulos, William.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=508286">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=508286</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An introduction to G&ouml;del's theorems ent://SD_ILS/0/SD_ILS:280594 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Smith, Peter, 1944- author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=533820">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=533820</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Kurt G&ouml;del Essays for his Centennial ent://SD_ILS/0/SD_ILS:236216 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Feferman, Solomon.&#160;Parsons, Charles.&#160;Simpson, Stephen G..<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511750762">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Belief Revision in Non-Classical Logics ent://SD_ILS/0/SD_ILS:330925 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Ribeiro, M&aacute;rcio Moretto. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330925.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4186-0">http://dx.doi.org/10.1007/978-1-4471-4186-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz ent://SD_ILS/0/SD_ILS:330942 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Davis, Martin. editor.&#160;Schonberg, Edmond. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330942.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4282-9">http://dx.doi.org/10.1007/978-1-4471-4282-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Structure ent://SD_ILS/0/SD_ILS:331010 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Dalen, Dirk. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331010.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4558-5">http://dx.doi.org/10.1007/978-1-4471-4558-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Course on Mathematical Logic ent://SD_ILS/0/SD_ILS:331853 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion ent://SD_ILS/0/SD_ILS:332605 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Visual Reasoning with Diagrams ent://SD_ILS/0/SD_ILS:332637 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Moktefi, Amirouche. editor.&#160;Shin, Sun-Joo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332637.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-0348-0600-8">http://dx.doi.org/10.1007/978-3-0348-0600-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> After G&ouml;del : Platonism and rationalism in mathematics and logic ent://SD_ILS/0/SD_ILS:371616 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Tieszen, Richard L., author.<br/>Preferred Shelf Number&#160;QA9 T54 2013<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction ent://SD_ILS/0/SD_ILS:332681 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Pudl&aacute;k, Pavel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332681.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-00119-7">http://dx.doi.org/10.1007/978-3-319-00119-7</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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift ent://SD_ILS/0/SD_ILS:332822 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Paule, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332822.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stochastic Calculus with Infinitesimals ent://SD_ILS/0/SD_ILS:333673 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Herzberg, Frederik. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333673.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33149-7">http://dx.doi.org/10.1007/978-3-642-33149-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On Fuzziness A Homage to Lotfi A. Zadeh &ndash; Volume 2 ent://SD_ILS/0/SD_ILS:334018 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Seising, Rudolf. editor.&#160;Trillas, Enric. editor.&#160;Moraga, Claudio. editor.&#160;Termini, Settimo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334018.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35644-5">http://dx.doi.org/10.1007/978-3-642-35644-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334465 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Mart&iacute;-Oliet, Narciso. editor.&#160;Palomino, Miguel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334465.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37635-1">http://dx.doi.org/10.1007/978-3-642-37635-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334702 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Hasegawa, Masahito. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334702.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38946-7">http://dx.doi.org/10.1007/978-3-642-38946-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reactive Kripke Semantics ent://SD_ILS/0/SD_ILS:335100 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Gabbay, Dov M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335100.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41389-6">http://dx.doi.org/10.1007/978-3-642-41389-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Argument of Mathematics ent://SD_ILS/0/SD_ILS:336263 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Aberdein, Andrew. editor.&#160;Dove, Ian J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336263.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-6534-4">http://dx.doi.org/10.1007/978-94-007-6534-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933 ent://SD_ILS/0/SD_ILS:336850 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Ewald, William. editor.&#160;Sieg, Wilfried. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336850.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69444-1">http://dx.doi.org/10.1007/978-3-540-69444-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik ent://SD_ILS/0/SD_ILS:337115 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Hoffmann, Dirk W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337115.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34720-7">http://dx.doi.org/10.1007/978-3-642-34720-7</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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Die G&ouml;del&rsquo;schen Unvollst&auml;ndigkeitss&auml;tze Eine gef&uuml;hrte Reise durch Kurt G&ouml;dels historischen Beweis ent://SD_ILS/0/SD_ILS:338283 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Hoffmann, Dirk W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(338283.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-3000-7">http://dx.doi.org/10.1007/978-3-8274-3000-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> &Ouml;nermeler mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:311337 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Nesin, Ali.<br/>Preferred Shelf Number&#160;QA270 N476 2013<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~3<br/> L.E.J. Brouwer &ndash; Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life ent://SD_ILS/0/SD_ILS:331026 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Dalen, Dirk. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331026.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4616-2">http://dx.doi.org/10.1007/978-1-4471-4616-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Logical Introduction to Proof ent://SD_ILS/0/SD_ILS:331358 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Cunningham, Daniel W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331358.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-3631-7">http://dx.doi.org/10.1007/978-1-4614-3631-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Invitation to Abstract Mathematics ent://SD_ILS/0/SD_ILS:332077 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Bajnok, B&eacute;la. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332077.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6636-9">http://dx.doi.org/10.1007/978-1-4614-6636-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Mathematics of Paul Erd&#337;s II ent://SD_ILS/0/SD_ILS:332243 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Graham, Ronald L. editor.&#160;Ne&scaron;et&#345;il, Jaroslav. editor.&#160;Butler, Steve. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332243.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-7254-4">http://dx.doi.org/10.1007/978-1-4614-7254-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Mathematics of Coordinated Inference A Study of Generalized Hat Problems ent://SD_ILS/0/SD_ILS:332859 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Hardin, Christopher S. author.&#160;Taylor, Alan D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332859.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-01333-6">http://dx.doi.org/10.1007/978-3-319-01333-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Real Numbers An Introduction to Set Theory and Analysis ent://SD_ILS/0/SD_ILS:332876 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Stillwell, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332876.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-01577-4">http://dx.doi.org/10.1007/978-3-319-01577-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik ent://SD_ILS/0/SD_ILS:333036 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Zermelo, Ernst. author.&#160;Ebbinghaus, Heinz-Dieter. editor.&#160;Kanamori, Akihiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333036.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-70856-8">http://dx.doi.org/10.1007/978-3-540-70856-8</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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334038 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Artemov, Sergei. editor.&#160;Nerode, Anil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334038.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics of Fuzzy Sets and Fuzzy Logic ent://SD_ILS/0/SD_ILS:333950 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Bede, Barnabas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333950.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35221-8">http://dx.doi.org/10.1007/978-3-642-35221-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334718 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Bonizzoni, Paola. editor.&#160;Brattka, Vasco. editor.&#160;L&ouml;we, Benedikt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334718.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39053-1">http://dx.doi.org/10.1007/978-3-642-39053-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335032 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Grossi, Davide. editor.&#160;Roy, Olivier. editor.&#160;Huang, Huaxin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335032.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40948-6">http://dx.doi.org/10.1007/978-3-642-40948-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements ent://SD_ILS/0/SD_ILS:335941 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Geldsetzer, Lutz. author.&#160;Schwartz, Richard L. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335941.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-5301-3">http://dx.doi.org/10.1007/978-94-007-5301-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus ent://SD_ILS/0/SD_ILS:336968 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Tapp, Christian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336968.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Peeling potatoes or grinding lenses Spinoza and young Wittgenstein converse on immanence and its logic ent://SD_ILS/0/SD_ILS:242087 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Baltas, Aristeid&#275;s.&#160;Project Muse.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9780822977902/">Full text available: </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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Sparsity Graphs, Structures, and Algorithms ent://SD_ILS/0/SD_ILS:196287 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Ne&scaron;et&#345;il, Jaroslav. author.&#160;Ossona de Mendez, Patrice. 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-27875-4">http://dx.doi.org/10.1007/978-3-642-27875-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frege's notations what they are and how they mean ent://SD_ILS/0/SD_ILS:279084 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Landini, Gregory.&#160;Palgrave Connect (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=433320">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=433320</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196438 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Mossakowski, Till. editor.&#160;Kreowski, Hans-J&ouml;rg. 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-28412-0">http://dx.doi.org/10.1007/978-3-642-28412-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On Intuitionistic Fuzzy Sets Theory ent://SD_ILS/0/SD_ILS:196621 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Atanassov, Krassimir T. 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-29127-2">http://dx.doi.org/10.1007/978-3-642-29127-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Excursions in the History of Mathematics ent://SD_ILS/0/SD_ILS:168364 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Kleiner, Israel. 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-8268-2">http://dx.doi.org/10.1007/978-0-8176-8268-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Beginner's Guide to Finite Mathematics For Business, Management, and the Social Sciences ent://SD_ILS/0/SD_ILS:168381 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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-8319-1">http://dx.doi.org/10.1007/978-0-8176-8319-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Beginner's Guide to Discrete Mathematics ent://SD_ILS/0/SD_ILS:168370 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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-8286-6">http://dx.doi.org/10.1007/978-0-8176-8286-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Set Theory With a Gentle Introduction to Forcing ent://SD_ILS/0/SD_ILS:173379 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Halbeisen, Lorenz 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-1-4471-2173-2">http://dx.doi.org/10.1007/978-1-4471-2173-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Mathematical Structures and Proofs ent://SD_ILS/0/SD_ILS:174389 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Gerstein, Larry 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-1-4614-4265-3">http://dx.doi.org/10.1007/978-1-4614-4265-3</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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Around and Beyond the Square of Opposition ent://SD_ILS/0/SD_ILS:176782 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;B&eacute;ziau, Jean-Yves. editor.&#160;Jacquette, Dale. 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-0348-0379-3">http://dx.doi.org/10.1007/978-3-0348-0379-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The foundations of mathematics ent://SD_ILS/0/SD_ILS:267321 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Kunen, Kenneth.<br/>Preferred Shelf Number&#160;QA9 K796 2012<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Mathematical Logic for Computer Science ent://SD_ILS/0/SD_ILS:173540 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Ben-Ari, Mordechai. 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-4471-4129-7">http://dx.doi.org/10.1007/978-1-4471-4129-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Teoria algebrica dei meccanismi automatici ent://SD_ILS/0/SD_ILS:191521 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Righi, R. 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-10932-4">http://dx.doi.org/10.1007/978-3-642-10932-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics of Discrete Structures for Computer Science ent://SD_ILS/0/SD_ILS:196778 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Pace, Gordon 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-3-642-29840-0">http://dx.doi.org/10.1007/978-3-642-29840-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196979 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Cooper, S. Barry. editor.&#160;Dawar, Anuj. editor.&#160;L&ouml;we, Benedikt. 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-30870-3">http://dx.doi.org/10.1007/978-3-642-30870-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes ent://SD_ILS/0/SD_ILS:197087 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Bezhanishvili, Nick. editor.&#160;Goranko, Valentin. 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-31485-8">http://dx.doi.org/10.1007/978-3-642-31485-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics ent://SD_ILS/0/SD_ILS:197102 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Moot, Richard. author.&#160;Retor&eacute;, Christian. 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-31555-8">http://dx.doi.org/10.1007/978-3-642-31555-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Complexity of Valued Constraint Satisfaction Problems ent://SD_ILS/0/SD_ILS:197450 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;&#381;ivn&yacute;, Stanislav. 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-33974-5">http://dx.doi.org/10.1007/978-3-642-33974-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic: A Brief Course ent://SD_ILS/0/SD_ILS:204617 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Mundici, Daniele. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-2361-1">http://dx.doi.org/10.1007/978-88-470-2361-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Non solo calcoli Domande e risposte sui perch&eacute; della matematica ent://SD_ILS/0/SD_ILS:204679 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Villani, Vinicio. author.&#160;Bernardi, Claudio. author.&#160;Zoccante, Sergio. author.&#160;Porcaro, Roberto. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-2610-0">http://dx.doi.org/10.1007/978-88-470-2610-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Truth and Falsehood An Inquiry into Generalized Logical Values ent://SD_ILS/0/SD_ILS:205958 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Shramko, Yaroslav. author.&#160;Wansing, Heinrich. 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-0907-2">http://dx.doi.org/10.1007/978-94-007-0907-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-L&ouml;f ent://SD_ILS/0/SD_ILS:206660 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Dybjer, P. editor.&#160;Lindstr&ouml;m, Sten. editor.&#160;Palmgren, Erik. editor.&#160;Sundholm, G. 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-4435-6">http://dx.doi.org/10.1007/978-94-007-4435-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Mathematical Experience, Study Edition ent://SD_ILS/0/SD_ILS:168373 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Davis, Philip J. author.&#160;Hersh, Reuben. author.&#160;Marchisotto, Elena Anne. 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-8295-8">http://dx.doi.org/10.1007/978-0-8176-8295-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Olympiad Treasures ent://SD_ILS/0/SD_ILS:168359 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Andreescu, Titu. author.&#160;Enescu, Bogdan. 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-8253-8">http://dx.doi.org/10.1007/978-0-8176-8253-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proof, Computation and Agency Logic at the Crossroads ent://SD_ILS/0/SD_ILS:205741 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;van Benthem, Johan. editor.&#160;Gupta, Amitabha. editor.&#160;Parikh, Rohit. 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-0080-2">http://dx.doi.org/10.1007/978-94-007-0080-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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Methods of Cut-Elimination ent://SD_ILS/0/SD_ILS:205808 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Leitsch, Alexander. author.&#160;Baaz, Matthias. 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-0320-9">http://dx.doi.org/10.1007/978-94-007-0320-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundational Theories of Classical and Constructive Mathematics ent://SD_ILS/0/SD_ILS:205842 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Strict Finitism and the Logic of Mathematical Applications ent://SD_ILS/0/SD_ILS:206041 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Ye, Feng. 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-1347-5">http://dx.doi.org/10.1007/978-94-007-1347-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Treatise on Intuitionistic Type Theory ent://SD_ILS/0/SD_ILS:206159 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Granstr&ouml;m, Johan Georg. 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-1736-7">http://dx.doi.org/10.1007/978-94-007-1736-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> After G&ouml;del Platonism and rationalism in mathematics and logic ent://SD_ILS/0/SD_ILS:232029 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Tieszen, Richard L.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199606207.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199606207.001.0001</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Evolution of Principia Mathematica Bertrand Russell's Manuscripts and Notes for the Second Edition ent://SD_ILS/0/SD_ILS:238953 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Linsky, Bernard.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511760181">Access by subscription</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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194672 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Blackburn, Patrick. editor.&#160;Ditmarsch, Hans. editor.&#160;Manzano, Mar&iacute;a. editor.&#160;Soler-Toscano, Fernando. 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-21350-2">http://dx.doi.org/10.1007/978-3-642-21350-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Apartness and Uniformity A Constructive Development ent://SD_ILS/0/SD_ILS:195019 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Bridges, Douglas S. author.&#160;V&icirc;&#355;&#259;, Lumini&#355;a Simona. 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-22415-7">http://dx.doi.org/10.1007/978-3-642-22415-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical aspects of logic programming semantics ent://SD_ILS/0/SD_ILS:285188 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Hitzler, Pascal.&#160;Seda, Anthony.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439829622">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik ent://SD_ILS/0/SD_ILS:198771 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Hoffmann, Dirk W. 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-8274-2560-7">http://dx.doi.org/10.1007/978-3-8274-2560-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Proof is in the Pudding The Changing Nature of Mathematical Proof ent://SD_ILS/0/SD_ILS:166423 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Krantz, Steven G. 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-48744-1">http://dx.doi.org/10.1007/978-0-387-48744-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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Reading, Writing, and Proving A Closer Look at Mathematics ent://SD_ILS/0/SD_ILS:173223 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Daepp, Ulrich. author.&#160;Gorkin, Pamela. 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-9479-0">http://dx.doi.org/10.1007/978-1-4419-9479-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Aspects of Mathematical Logic ent://SD_ILS/0/SD_ILS:191571 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Casari, E. 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-11080-1">http://dx.doi.org/10.1007/978-3-642-11080-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> McGraw-Hill's LSAT ent://SD_ILS/0/SD_ILS:294072 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Curvebreakers.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://mhebooklibrary.com/reader/mcgrawhills-lsat-2012-edition">Subscription required</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantifiers, Propositions and Identity Admissible Semantics for Quantified Modal and Substructural Logics ent://SD_ILS/0/SD_ILS:236304 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Goldblatt, Robert.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511862359">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Dynamics of Information and Interaction ent://SD_ILS/0/SD_ILS:236844 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;van Benthem, Johan.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511974533">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies ent://SD_ILS/0/SD_ILS:237938 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Kennedy, Juliette.&#160;Kossak, Roman.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511910616">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein ent://SD_ILS/0/SD_ILS:247311 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Hopkins, Burt C.&#160;Project Muse.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9780253005274/">Full text available: </a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of logic and language ent://SD_ILS/0/SD_ILS:148146 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Benthem, J. F. A. K. van, 1949-&#160;Meulen, Alice G. B. ter.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444537263">http://www.sciencedirect.com/science/book/9780444537263</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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Computational logic and human thinking how to be artificially intelligent ent://SD_ILS/0/SD_ILS:278748 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Kowalski, Robert.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375916">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375916</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An introduction to practical formal methods using temporal logic ent://SD_ILS/0/SD_ILS:305703 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Fisher, Michael, 1962-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;John Wiley <a href="http://dx.doi.org/10.1002/9781119991472">http://dx.doi.org/10.1002/9781119991472</a> <a href="http://proquest.safaribooksonline.com/?fpi=9780470027882">http://proquest.safaribooksonline.com/?fpi=9780470027882</a> Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=46822">http://www.books24x7.com/marc.asp?bookid=46822</a> <a href="http://proquest.safaribooksonline.com/9780470027882">http://proquest.safaribooksonline.com/9780470027882</a> Volltext <a href="http://proquest.tech.safaribooksonline.de/9780470027882">http://proquest.tech.safaribooksonline.de/9780470027882</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic demystified ent://SD_ILS/0/SD_ILS:294115 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Boutelle, Anthony.&#160;Gibilisco, Stan.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://mhebooklibrary.com/reader/logic-demystified">Subscription required</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> McGraw-Hill's conquering LSAT logic games ent://SD_ILS/0/SD_ILS:294045 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Curvebreakers.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://mhebooklibrary.com/reader/mcgrawhills-conquering-lsat-logic-games-third-edition">Subscription required</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Theory and Applications ent://SD_ILS/0/SD_ILS:191585 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Mangani, P. 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-11121-1">http://dx.doi.org/10.1007/978-3-642-11121-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recursion Theory and Computational Complexity ent://SD_ILS/0/SD_ILS:191568 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Lolli, G. 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-11072-6">http://dx.doi.org/10.1007/978-3-642-11072-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology ent://SD_ILS/0/SD_ILS:191764 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Stankovi&#263;, Radomir S. author.&#160;Astola, Jaakko. 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-11682-7">http://dx.doi.org/10.1007/978-3-642-11682-7</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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Cantor und die Franzosen Mathematik, Philosophie und das Unendliche ent://SD_ILS/0/SD_ILS:192795 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;D&eacute;caillot, Anne-Marie. 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-14869-9">http://dx.doi.org/10.1007/978-3-642-14869-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conditionals and Modularity in General Logics ent://SD_ILS/0/SD_ILS:193923 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Gabbay, Dov M. author.&#160;Schlechta, Karl. 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-19068-1">http://dx.doi.org/10.1007/978-3-642-19068-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hyperfinite Dirichlet Forms and Stochastic Processes ent://SD_ILS/0/SD_ILS:194114 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Albeverio, Sergio. author.&#160;Fan, Ruzong. author.&#160;Herzberg, Frederik. 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-19659-1">http://dx.doi.org/10.1007/978-3-642-19659-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194785 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Ong, Luke. 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-21691-6">http://dx.doi.org/10.1007/978-3-642-21691-6</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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194848 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;L&ouml;we, Benedikt. editor.&#160;Normann, Dag. editor.&#160;Soskov, Ivan. editor.&#160;Soskova, Alexandra. 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-21875-0">http://dx.doi.org/10.1007/978-3-642-21875-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions ent://SD_ILS/0/SD_ILS:195145 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Kaiser, &#321;ukasz. 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-22807-0">http://dx.doi.org/10.1007/978-3-642-22807-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195273 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Kanazawa, Makoto. editor.&#160;Kornai, Andr&aacute;s. editor.&#160;Kracht, Marcus. editor.&#160;Seki, Hiroyuki. 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-23211-4">http://dx.doi.org/10.1007/978-3-642-23211-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195554 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Ditmarsch, Hans. editor.&#160;Lang, J&eacute;r&ocirc;me. editor.&#160;Ju, Shier. 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-24130-7">http://dx.doi.org/10.1007/978-3-642-24130-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Un mondo di idee La matematica ovunque ent://SD_ILS/0/SD_ILS:204501 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Ciliberto, Ciro. 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-88-470-1744-3">http://dx.doi.org/10.1007/978-88-470-1744-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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&ndash;3,2008 ent://SD_ILS/0/SD_ILS:204527 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Skof, Fulvia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logica: Metodo Breve ent://SD_ILS/0/SD_ILS:204542 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Mundici, Daniele. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-1884-6">http://dx.doi.org/10.1007/978-88-470-1884-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Logic and its Proof-Theory ent://SD_ILS/0/SD_ILS:205716 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Bra&uuml;ner, Torben. 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-0002-4">http://dx.doi.org/10.1007/978-94-007-0002-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dual Tableaux: Foundations, Methodology, Case Studies ent://SD_ILS/0/SD_ILS:205717 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Advanced &#321;ukasiewicz calculus and MV-algebras ent://SD_ILS/0/SD_ILS:205949 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Mundici, 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-94-007-0840-2">http://dx.doi.org/10.1007/978-94-007-0840-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Philosophy of Mathematics in the Early Husserl ent://SD_ILS/0/SD_ILS:205021 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Centrone, Stefania. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical reasoning patterns, problems, conjectures, and proofs ent://SD_ILS/0/SD_ILS:265616 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Nickerson, Raymond S.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.tandfebooks.com/isbn/9780203848029">Click here to view</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Concise Introduction to Mathematical Logic ent://SD_ILS/0/SD_ILS:172186 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Rautenberg, Wolfgang. 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-1221-3">http://dx.doi.org/10.1007/978-1-4419-1221-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The P=NP Question and G&ouml;del&rsquo;s Lost Letter ent://SD_ILS/0/SD_ILS:172787 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Lipton, Richard 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-1-4419-7155-5">http://dx.doi.org/10.1007/978-1-4419-7155-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cognitive Reasoning A Formal Approach ent://SD_ILS/0/SD_ILS:185626 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Gergely, Tam&aacute;s. author.&#160;Anshakov, Oleg 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-3-540-68875-4">http://dx.doi.org/10.1007/978-3-540-68875-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia ent://SD_ILS/0/SD_ILS:188417 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Zermelo, Ernst. author.&#160;Ebbinghaus, Heinz-Dieter. editor.&#160;Fraser, Craig G. editor.&#160;Kanamori, Akihiro. 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-540-79384-7">http://dx.doi.org/10.1007/978-3-540-79384-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Einf&uuml;hrung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo ent://SD_ILS/0/SD_ILS:189998 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Deiser, Oliver. 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-01445-1">http://dx.doi.org/10.1007/978-3-642-01445-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Logic Foundations for Information Science ent://SD_ILS/0/SD_ILS:198215 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Li, Wei. 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-7643-9977-1">http://dx.doi.org/10.1007/978-3-7643-9977-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Propositions, functions, and analysis selected essays on Russell's philosophy ent://SD_ILS/0/SD_ILS:231578 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Hylton, Peter.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199286355.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199286355.001.0001</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Truth through proof a formalist foundation for mathematics ent://SD_ILS/0/SD_ILS:233257 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Weir, Alan.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001</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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> A Course in Mathematical Logic for Mathematicians ent://SD_ILS/0/SD_ILS:172015 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Manin, Yu. I. 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-0615-1">http://dx.doi.org/10.1007/978-1-4419-0615-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematische Logik ent://SD_ILS/0/SD_ILS:176698 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Ziegler, Martin. 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-0652-3">http://dx.doi.org/10.1007/978-3-0346-0652-3</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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Banach Spaces and Descriptive Set Theory: Selected Topics ent://SD_ILS/0/SD_ILS:191905 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Dodos, Pandelis. 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-12153-1">http://dx.doi.org/10.1007/978-3-642-12153-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Discrete structures, logic, and computability ent://SD_ILS/0/SD_ILS:268313 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Hein, James L.<br/>Preferred Shelf Number&#160;QA76.9.M35 H44 2010<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Roads to infinity the mathematics of truth and proof ent://SD_ILS/0/SD_ILS:289852 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Stillwell, John.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439865507">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Framework for Priority Arguments ent://SD_ILS/0/SD_ILS:236766 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Lerman, Manuel.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511750779">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Colloquium 2007 ent://SD_ILS/0/SD_ILS:236783 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Delon, Fran&ccedil;oise.&#160;Kohlenbach, Ulrich.&#160;Maddy, Penelope.&#160;Stephan, Frank.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511778421">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Proof Complexity ent://SD_ILS/0/SD_ILS:237834 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Cook, Stephen.&#160;Nguyen, Phuong.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511676277">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Set Theory ent://SD_ILS/0/SD_ILS:169590 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Foreman, Matthew. editor.&#160;Kanamori, Akihiro. 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-5764-9">http://dx.doi.org/10.1007/978-1-4020-5764-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Tools for Handling Change in Agent-Based Systems ent://SD_ILS/0/SD_ILS:190937 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Gabbay, Dov M. author.&#160;Schlechta, Karl. 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-04407-6">http://dx.doi.org/10.1007/978-3-642-04407-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Natural Deduction, Hybrid Systems and Modal Logics ent://SD_ILS/0/SD_ILS:205315 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Indrzejczak, 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-90-481-8785-0">http://dx.doi.org/10.1007/978-90-481-8785-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Teaching mathematical reasoning in secondary school classrooms ent://SD_ILS/0/SD_ILS:134611 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Brodie, Karin.&#160;Coetzee, Kurt.<br/>Preferred Shelf Number&#160;QA8.7 B76 2010<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics ent://SD_ILS/0/SD_ILS:176001 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Logische Grundlagen der Mathematik ent://SD_ILS/0/SD_ILS:189560 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Handbook of Weighted Automata ent://SD_ILS/0/SD_ILS:190016 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Droste, Manfred. editor.&#160;Kuich, Werner. editor.&#160;Vogler, Heiko. 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-01492-5">http://dx.doi.org/10.1007/978-3-642-01492-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:190109 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Grumberg, Orna. editor.&#160;Kaminski, Michael. editor.&#160;Katz, Shmuel. editor.&#160;Wintner, Shuly. 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-01748-3">http://dx.doi.org/10.1007/978-3-642-01748-3</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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> A Missing Link in Cybernetics Logic and Continuity ent://SD_ILS/0/SD_ILS:167239 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Algorithmic Composition Paradigms of Automated Music Generation ent://SD_ILS/0/SD_ILS:177042 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Proof Theory The First Step into Impredicativity ent://SD_ILS/0/SD_ILS:185783 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Recasting Reality Wolfgang Pauli&rsquo;s Philosophical Ideas and Contemporary Science ent://SD_ILS/0/SD_ILS:188634 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Atmanspacher, Harald. editor.&#160;Primas, Hans. 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-540-85198-1">http://dx.doi.org/10.1007/978-3-540-85198-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information ent://SD_ILS/0/SD_ILS:189763 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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-3-642-00659-3">http://dx.doi.org/10.1007/978-3-642-00659-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting Techniques and Applications 20th International Conference, RTA 2009 Bras&iacute;lia, Brazil, June 29 - July 1, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190296 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Treinen, Ralf. 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-02348-4">http://dx.doi.org/10.1007/978-3-642-02348-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190272 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Curien, Pierre-Louis. 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-02273-9">http://dx.doi.org/10.1007/978-3-642-02273-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191090 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;He, Xiangdong. editor.&#160;Horty, John. 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-3-642-04893-7">http://dx.doi.org/10.1007/978-3-642-04893-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Teaching and learning proof across the grades a K-16 perspective ent://SD_ILS/0/SD_ILS:266955 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Stylianou, Despina A.&#160;Blanton, Maria L.&#160;Knuth, Eric J.&#160;National Council of Teachers of Mathematics.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.tandfebooks.com/isbn/9780203882009">Click here to view</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical labyrinths ent://SD_ILS/0/SD_ILS:287066 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Smullyan, Raymond M.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439865378">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Colloquium 2006 ent://SD_ILS/0/SD_ILS:237775 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Cooper, S. Barry.&#160;Geuvers, Herman.&#160;Pillay, Anand.&#160;V&auml;&auml;n&auml;nen, Jouko.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511605321">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Boolean Algebras ent://SD_ILS/0/SD_ILS:166584 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Logic and Integer Programming ent://SD_ILS/0/SD_ILS:168006 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Williams, H. Paul. 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-92280-5">http://dx.doi.org/10.1007/978-0-387-92280-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Olympiad Challenges ent://SD_ILS/0/SD_ILS:168224 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Logicism, Intuitionism, and Formalism What has Become of Them? ent://SD_ILS/0/SD_ILS:170380 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Introduction to mathematics of satisfiability ent://SD_ILS/0/SD_ILS:286921 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Marek, V. W. (V. Wiktor), 1943-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439801741">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Games, puzzles, and computation ent://SD_ILS/0/SD_ILS:287965 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Hearn, Robert A.&#160;Demaine, Erik D., 1981-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439865057">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189435 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Artemov, Sergei. editor.&#160;Nerode, Anil. 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-540-92687-0">http://dx.doi.org/10.1007/978-3-540-92687-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ultimate Explanations of the Universe ent://SD_ILS/0/SD_ILS:190217 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Heller, Michael. 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-02103-9">http://dx.doi.org/10.1007/978-3-642-02103-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190473 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Wen, Peng. editor.&#160;Li, Yuefeng. editor.&#160;Polkowski, Lech. editor.&#160;Yao, Yiyu. editor.&#160;Tsumoto, Shusaku. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02962-2">http://dx.doi.org/10.1007/978-3-642-02962-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190621 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Corradini, Andrea. editor.&#160;Montanari, Ugo. 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-03429-9">http://dx.doi.org/10.1007/978-3-642-03429-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190814 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Gr&auml;del, Erich. editor.&#160;Kahle, Reinhard. 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-04027-6">http://dx.doi.org/10.1007/978-3-642-04027-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generalized Measure Theory ent://SD_ILS/0/SD_ILS:167412 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Scenario Logic and Probabilistic Management of Risk in Business and Engineering ent://SD_ILS/0/SD_ILS:167541 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Solojentsev, Evgueni 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-387-77946-1">http://dx.doi.org/10.1007/978-0-387-77946-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Proof Theory: Proof Interpretations and Their Use in Mathematics ent://SD_ILS/0/SD_ILS:187903 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Kohlenbach, Ulrich. 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-77533-1">http://dx.doi.org/10.1007/978-3-540-77533-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reelle Zahlen Das klassische Kontinuum und die nat&uuml;rlichen Folgen ent://SD_ILS/0/SD_ILS:188416 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Deiser, Oliver. 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-79376-2">http://dx.doi.org/10.1007/978-3-540-79376-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Completeness Theory for Propositional Logics ent://SD_ILS/0/SD_ILS:198080 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Pogorzelski, Witold A. author.&#160;Wojtylak, Piotr. 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-7643-8518-7">http://dx.doi.org/10.1007/978-3-7643-8518-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Institution-independent Model Theory ent://SD_ILS/0/SD_ILS:198125 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Diaconescu, 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-3-7643-8708-2">http://dx.doi.org/10.1007/978-3-7643-8708-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New essays on Tarski and philosophy ent://SD_ILS/0/SD_ILS:231067 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Patterson, Douglas.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199296309.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199296309.001.0001</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics, Models, and Modality Selected Philosophical Essays ent://SD_ILS/0/SD_ILS:235369 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Burgess, John P..<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511487347">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Course on Mathematical Logic ent://SD_ILS/0/SD_ILS:167320 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Srivastava, S. 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-76277-7">http://dx.doi.org/10.1007/978-0-387-76277-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constructive Negations and Paraconsistency ent://SD_ILS/0/SD_ILS:169972 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Odintsov, Sergei P. 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-6867-6">http://dx.doi.org/10.1007/978-1-4020-6867-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems ent://SD_ILS/0/SD_ILS:169939 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Carnielli, Walter. author.&#160;Coniglio, Marcelo. author.&#160;Gabbay, Dov M. author.&#160;Gouveia, Paula. author.&#160;Sernadas, Cristina. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-6782-2">http://dx.doi.org/10.1007/978-1-4020-6782-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms in Invariant Theory ent://SD_ILS/0/SD_ILS:177066 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Sturmfels, Bernd. 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-77417-5">http://dx.doi.org/10.1007/978-3-211-77417-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Computational Paradigms Changing Conceptions of What is Computable ent://SD_ILS/0/SD_ILS:166594 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Cooper, S. Barry. editor.&#160;L&ouml;we, Benedikt. editor.&#160;Sorbi, Andrea. 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-68546-5">http://dx.doi.org/10.1007/978-0-387-68546-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler ent://SD_ILS/0/SD_ILS:170236 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Carnielli, Walter. author.&#160;Pizzi, Claudio. 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-8590-1">http://dx.doi.org/10.1007/978-1-4020-8590-1</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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Mathematical logic ent://SD_ILS/0/SD_ILS:303099 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Tourlakis, George J.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;John Wiley <a href="http://dx.doi.org/10.1002/9781118032435">http://dx.doi.org/10.1002/9781118032435</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretische Informatik Eine umfassende Einf&uuml;hrung ent://SD_ILS/0/SD_ILS:187575 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Erk, Katrin. author.&#160;Priese, Lutz. 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-76320-8">http://dx.doi.org/10.1007/978-3-540-76320-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologie ent://SD_ILS/0/SD_ILS:187688 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Hausdorff, Felix. 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-76807-4">http://dx.doi.org/10.1007/978-3-540-76807-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Petri-Netze ent://SD_ILS/0/SD_ILS:187745 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Priese, Lutz. author.&#160;Wimmel, Harro. 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-76971-2">http://dx.doi.org/10.1007/978-3-540-76971-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Field Arithmetic ent://SD_ILS/0/SD_ILS:187826 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> New Developments in Formal Languages and Applications ent://SD_ILS/0/SD_ILS:188079 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Bel-Enguix, Gemma. editor.&#160;Jim&eacute;nez-L&oacute;pez, M. Dolores. editor.&#160;Mart&iacute;n-Vide, Carlos. 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-540-78291-9">http://dx.doi.org/10.1007/978-3-540-78291-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188500 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Kleine B&uuml;ning, Hans. editor.&#160;Zhao, Xishun. 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-540-79719-7">http://dx.doi.org/10.1007/978-3-540-79719-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188863 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Kaminski, Michael. editor.&#160;Martini, Simone. 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-540-87531-4">http://dx.doi.org/10.1007/978-3-540-87531-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guida alla teoria degli insiemi ent://SD_ILS/0/SD_ILS:204285 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Lolli, Gabriele. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-0769-7">http://dx.doi.org/10.1007/978-88-470-0769-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deduction, Computation, Experiment Exploring the Effectiveness of Proof ent://SD_ILS/0/SD_ILS:204291 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Lupacchini, Rossella. editor.&#160;Corsi, Giovanna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-0784-0">http://dx.doi.org/10.1007/978-88-470-0784-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorics and Graph Theory ent://SD_ILS/0/SD_ILS:167686 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Harris, John. author.&#160;Hirst, Jeffry L. author.&#160;Mossinghoff, Michael. 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-79711-3">http://dx.doi.org/10.1007/978-0-387-79711-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Computer Scientists ent://SD_ILS/0/SD_ILS:168282 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Sch&ouml;ning, Uwe. 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-4763-6">http://dx.doi.org/10.1007/978-0-8176-4763-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Discrete Thoughts Essays on Mathematics, Science and Philosophy ent://SD_ILS/0/SD_ILS:168284 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Kac, Mark. author.&#160;Rota, Gian-Carlo. author.&#160;Schwartz, Jacob T. author.&#160;Renz, 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-0-8176-4775-9">http://dx.doi.org/10.1007/978-0-8176-4775-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Indiscrete Thoughts ent://SD_ILS/0/SD_ILS:168285 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Rota, Gian-Carlo.&#160;Palombi, Fabrizio.&#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-4781-0">http://dx.doi.org/10.1007/978-0-8176-4781-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Knowledge A Constructive Type-theoretical Approach ent://SD_ILS/0/SD_ILS:169711 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Primiero, Giuseppe. 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-6170-7">http://dx.doi.org/10.1007/978-1-4020-6170-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Colloquium 2005 ent://SD_ILS/0/SD_ILS:236631 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Dimitracopoulos, Costas.&#160;Newelski, Ludomir.&#160;Normann, Dag.&#160;Steel, John R..<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511546464">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Strength of Nonstandard Analysis ent://SD_ILS/0/SD_ILS:176966 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Berg, Imme. editor.&#160;Neves, V&iacute;tor. 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-211-49905-4">http://dx.doi.org/10.1007/978-3-211-49905-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Kolmogorov&rsquo;s Heritage in Mathematics ent://SD_ILS/0/SD_ILS:184374 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Charpentier, &Eacute;ric. editor.&#160;Lesne, Annick. editor.&#160;Nikolski, Nikola&iuml; K. 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-540-36351-4">http://dx.doi.org/10.1007/978-3-540-36351-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reelle Zahlen Das klassische Kontinuum und die nat&uuml;rlichen Folgen ent://SD_ILS/0/SD_ILS:184842 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Deiser, Oliver. 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-45388-8">http://dx.doi.org/10.1007/978-3-540-45388-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Finite Model Theory and Its Applications ent://SD_ILS/0/SD_ILS:185593 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Gr&auml;del, Erich. author.&#160;Kolaitis, Phokion G. author.&#160;Libkin, Leonid. author.&#160;Marx, Maarten. author.&#160;Spencer, Joel. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-68804-8">http://dx.doi.org/10.1007/3-540-68804-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186638 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Artemov, Sergei N. editor.&#160;Nerode, Anil. 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-540-72734-7">http://dx.doi.org/10.1007/978-3-540-72734-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logica Universalis Towards a General Theory of Logic ent://SD_ILS/0/SD_ILS:198047 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Beziau, Jean-Yves. 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-7643-8354-1">http://dx.doi.org/10.1007/978-3-7643-8354-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ernst Zermelo An Approach to His Life and Work ent://SD_ILS/0/SD_ILS:185226 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Ebbinghaus, Heinz-Dieter. 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-49553-6">http://dx.doi.org/10.1007/978-3-540-49553-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187306 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Duparc, Jacques. editor.&#160;Henzinger, Thomas A. 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-540-74915-8">http://dx.doi.org/10.1007/978-3-540-74915-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Arch&eacute; Papers on the Mathematics of Abstraction ent://SD_ILS/0/SD_ILS:152254 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Cook, Roy T.&#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-4265-2">http://dx.doi.org/10.1007/978-1-4020-4265-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Spatial Logics ent://SD_ILS/0/SD_ILS:152404 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Aiello, Marco.&#160;Pratt-Hartmann, Ian.&#160;Benthem, Johan.&#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-5587-4">http://dx.doi.org/10.1007/978-1-4020-5587-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Passione per Trilli Alcune idee dalla matematica ent://SD_ILS/0/SD_ILS:152631 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Lucchetti, Roberto.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-0629-4">http://dx.doi.org/10.1007/978-88-470-0629-4</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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Number Theory An Introduction via the Distribution of Primes ent://SD_ILS/0/SD_ILS:168186 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Fine, Benjamin. author.&#160;Rosenberger, 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-0-8176-4541-0">http://dx.doi.org/10.1007/978-0-8176-4541-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 104 Number Theory Problems From the Training of the USA IMO Team ent://SD_ILS/0/SD_ILS:168199 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Andreescu, Titu. author.&#160;Andrica, Dorin. author.&#160;Feng, Zuming. 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-4561-8">http://dx.doi.org/10.1007/978-0-8176-4561-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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> The Legacy of Mario Pieri in Geometry and Arithmetic ent://SD_ILS/0/SD_ILS:168218 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Marchisotto, Elena Anne. author.&#160;Smith, James T. 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-4603-5">http://dx.doi.org/10.1007/978-0-8176-4603-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186652 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Marques-Silva, Jo&atilde;o. editor.&#160;Sakallah, Karem A. 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-540-72788-0">http://dx.doi.org/10.1007/978-3-540-72788-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education ent://SD_ILS/0/SD_ILS:152341 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Kerkhove, Bart.&#160;Bendegem, Jean Paul.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Brouwer Meets Husserl On the Phenomenology of Choice Sequences ent://SD_ILS/0/SD_ILS:152349 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Atten, Mark.&#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-5087-9">http://dx.doi.org/10.1007/978-1-4020-5087-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Problems from Applied Logic II Logics for the XXIst Century ent://SD_ILS/0/SD_ILS:166711 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Gabbay, Dov M. editor.&#160;Zakharyaschev, Michael. editor.&#160;Goncharov, Sergei S. 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-69245-6">http://dx.doi.org/10.1007/978-0-387-69245-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transition to higher mathematics : structure and proof ent://SD_ILS/0/SD_ILS:110785 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Dumas, Bob A.&#160;McCarthy, John E.<br/>Preferred Shelf Number&#160;QA9 .D863 2007<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Discrete mathematics and its applications ent://SD_ILS/0/SD_ILS:110804 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Rosen, Kenneth H.<br/>Preferred Shelf Number&#160;QA39.3 R674 2007<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Parameterized Complexity Theory ent://SD_ILS/0/SD_ILS:182197 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Flum, J&ouml;rg. author.&#160;Grohe, Martin. 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-29953-X">http://dx.doi.org/10.1007/3-540-29953-X</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> More Sets, Graphs and Numbers A Salute to Vera S&oacute;s and Andr&aacute;s Hajnal ent://SD_ILS/0/SD_ILS:183380 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Gy&#337;ri, Ervin.&#160;Katona, Gyula O. H.&#160;Lov&aacute;sz, L&aacute;szl&oacute;.&#160;Fleiner, Tam&aacute;s.&#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-32439-3">http://dx.doi.org/10.1007/978-3-540-32439-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Th&eacute;orie des ensembles ent://SD_ILS/0/SD_ILS:183915 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Bourbaki, N. 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-34035-5">http://dx.doi.org/10.1007/978-3-540-34035-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Axiom of Choice ent://SD_ILS/0/SD_ILS:183983 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184496 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Biere, Armin. editor.&#160;Gomes, Carla P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11814948">http://dx.doi.org/10.1007/11814948</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184845 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;&Eacute;sik, Zolt&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11874683">http://dx.doi.org/10.1007/11874683</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Commonsense reasoning ent://SD_ILS/0/SD_ILS:253776 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Mueller, Erik T.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123693884">http://www.sciencedirect.com/science/book/9780123693884</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tracking reason proof, consequence, and truth ent://SD_ILS/0/SD_ILS:231352 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Azzouni, Jody.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780195187137.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780195187137.001.0001</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Problems from Applied Logic I Logics for the XXIst Century ent://SD_ILS/0/SD_ILS:165782 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Gabbay, Dov M. editor.&#160;Goncharov, Sergei S. editor.&#160;Zakharyaschev, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-31072-X">http://dx.doi.org/10.1007/0-387-31072-X</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Techniques of Constructive Analysis ent://SD_ILS/0/SD_ILS:166228 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Bridges, Douglas S. author.&#160;V&icirc;&#355;&#259;, Lumini&#355;a Simona. 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-38147-3">http://dx.doi.org/10.1007/978-0-387-38147-3</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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Finite Model Theory ent://SD_ILS/0/SD_ILS:181857 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Ebbinghaus, Heinz-Dieter. author.&#160;Flum, J&ouml;rg. 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-28788-4">http://dx.doi.org/10.1007/3-540-28788-4</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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Mathematics and common sense a case of creative tension ent://SD_ILS/0/SD_ILS:289848 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Davis, Philip J., 1923-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439864326">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cambridge and Vienna Frank P. Ramsey and the Vienna Circle ent://SD_ILS/0/SD_ILS:152228 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Galavotti, Maria Carla.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Notes on Set Theory ent://SD_ILS/0/SD_ILS:165825 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Moschovakis, Yiannis. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-31609-4">http://dx.doi.org/10.1007/0-387-31609-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Concise Introduction to Mathematical Logic ent://SD_ILS/0/SD_ILS:166020 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Rautenberg, Wolfgang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-34241-9">http://dx.doi.org/10.1007/0-387-34241-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Problems and Theorems in Classical Set Theory ent://SD_ILS/0/SD_ILS:166139 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Komj&aacute;th, P&eacute;ter. author.&#160;Totik, Vilmos. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-36219-3">http://dx.doi.org/10.1007/0-387-36219-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theorems, corollaries, lemmas, and methods of proof ent://SD_ILS/0/SD_ILS:303091 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Rossi, Richard J., 1956-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=694434">Click here to view book</a> John Wiley <a href="http://dx.doi.org/10.1002/9781118031575">http://dx.doi.org/10.1002/9781118031575</a> Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html">http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html</a> <a href="http://site.ebrary.com/lib/alltitles/Doc?id=10503020">http://site.ebrary.com/lib/alltitles/Doc?id=10503020</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 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> A logical Approach to Philosophy Essays in Honour of Graham Solomon ent://SD_ILS/0/SD_ILS:152222 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Devidi, David.&#160;Kenyon, Tim.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today ent://SD_ILS/0/SD_ILS:152338 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Benthem, Johan.&#160;Heinzmann, Gerhard.&#160;Rebuschi, Manuel.&#160;Visser, Henk.&#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-5012-7">http://dx.doi.org/10.1007/978-1-4020-5012-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 18 Unconventional Essays on the Nature of Mathematics ent://SD_ILS/0/SD_ILS:165677 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Hersh, Reuben. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-29831-2">http://dx.doi.org/10.1007/0-387-29831-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rippling: Meta-Level Guidance for Mathematical Reasoning ent://SD_ILS/0/SD_ILS:238201 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Bundy, Alan.&#160;Basin, David.&#160;Hutter, Dieter.&#160;Ireland, Andrew.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511543326">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Propositional and Predicate Calculus A Model of Argument ent://SD_ILS/0/SD_ILS:175328 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Goldrei, Derek. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-229-2">http://dx.doi.org/10.1007/1-84628-229-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories ent://SD_ILS/0/SD_ILS:181540 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Manin, Yuri Ivanovic. author.&#160;Panchishkin, Alexei A. 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-27692-0">http://dx.doi.org/10.1007/3-540-27692-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182826 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Bacchus, Fahiem. editor.&#160;Walsh, Toby. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137280">http://dx.doi.org/10.1007/b137280</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182983 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Ong, Luke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11538363">http://dx.doi.org/10.1007/11538363</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:183367 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Middeldorp, Aart. editor.&#160;Oostrom, Vincent. editor.&#160;Raamsdonk, Femke. editor.&#160;Vrijer, Roel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11601548">http://dx.doi.org/10.1007/11601548</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logica Universalis Towards a General Theory of Logic ent://SD_ILS/0/SD_ILS:197838 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Beziau, Jean-Yves. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137041">http://dx.doi.org/10.1007/b137041</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Laws of Nature ent://SD_ILS/0/SD_ILS:152564 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Mittelstaedt, Peter.&#160;Weingartner, Paul A.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Modern Perspective on Type Theory From its Origins until Today ent://SD_ILS/0/SD_ILS:168693 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Kamareddine, Fairouz. author.&#160;Laan, Twan. author.&#160;Nederpelt, Rob. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-2335-9">http://dx.doi.org/10.1007/1-4020-2335-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scenario Logic and Probabilistic Management of Risk in Business and Engineering ent://SD_ILS/0/SD_ILS:168782 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Solojentsev, E. D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-2978-0">http://dx.doi.org/10.1007/1-4020-2978-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Continuum Mechanics of Porous Media ent://SD_ILS/0/SD_ILS:168821 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Boer, Reint. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-3144-0">http://dx.doi.org/10.1007/1-4020-3144-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Categories for Software Engineering ent://SD_ILS/0/SD_ILS:181067 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Fiadeiro, Jos&eacute; Luiz. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138249">http://dx.doi.org/10.1007/b138249</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Valued Fields ent://SD_ILS/0/SD_ILS:182242 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182752 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Hoos, Holger H. editor.&#160;Mitchell, David G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11527695">http://dx.doi.org/10.1007/11527695</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mechanizing Mathematical Reasoning Essays in Honor of J&ouml;rg H. Siekmann on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:183241 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Hutter, Dieter. editor.&#160;Stephan, Werner. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106663">http://dx.doi.org/10.1007/b106663</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Big Typescript, TS. 213 ent://SD_ILS/0/SD_ILS:296244 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Wittgenstein, Ludwig, 1889-1951.&#160;Luckhardt, C. Grant, 1943-&#160;Aue, Maximilian.&#160;Wiley InterScience (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0802/2004030873-b.html">http://catdir.loc.gov/catdir/enhancements/fy0802/2004030873-b.html</a> John Wiley <a href="http://dx.doi.org/10.1002/9780470752906">http://dx.doi.org/10.1002/9780470752906</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Phenomenology, Logic, and the Philosophy of Mathematics ent://SD_ILS/0/SD_ILS:237047 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Tieszen, Richard.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511498589">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Field Arithmetic ent://SD_ILS/0/SD_ILS:181100 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Logically determined design clockless system design with NULL convention logic ent://SD_ILS/0/SD_ILS:301645 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Fant, Karl M.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.contentreserve.com/TitleInfo.asp?ID={1F7D25ED-7DB8-40A3-B98F-A6D66E238591}&Format=50">Click for information</a> <a href="http://proquest.safaribooksonline.com/?fpi=9780471684787">Available by subscription from Safari Books Online</a> John Wiley <a href="http://dx.doi.org/10.1002/0471702897">http://dx.doi.org/10.1002/0471702897</a> MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=25243&ref=toc">http://www.myilibrary.com?id=25243&ref=toc</a> Volltext <a href="http://proquest.tech.safaribooksonline.de/9780471684787">http://proquest.tech.safaribooksonline.de/9780471684787</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Essays in Constructive Mathematics ent://SD_ILS/0/SD_ILS:165337 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z 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/> Adapting Proofs-as-Programs The Curry-Howard Protocol ent://SD_ILS/0/SD_ILS:165486 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Poernomo, Iman Hafiz. author.&#160;Wirsing, Martin. author.&#160;Crossley, John Newsome. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-28183-5">http://dx.doi.org/10.1007/0-387-28183-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Visualization, Explanation and Reasoning Styles in Mathematics ent://SD_ILS/0/SD_ILS:168874 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Mancosu, Paolo. editor.&#160;J&oslash;rgensen, Klaus Frovin. editor.&#160;Pedersen, Stig Andur. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Linear Logic in Computer Science ent://SD_ILS/0/SD_ILS:237736 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Ehrhard, Thomas.&#160;Girard, Jean-Yves.&#160;Ruet, Paul.&#160;Scott, Philip.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511550850">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Charles S. Peirce zur Einf&uuml;hrung ent://SD_ILS/0/SD_ILS:316592 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Pape, Helmut.<br/>Preferred Shelf Number&#160;B945.P44 P347 2004<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Logic and structure ent://SD_ILS/0/SD_ILS:97566 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Dalen, D. van.<br/>Preferred Shelf Number&#160;QA 9 D16 2004<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> &Ouml;nermeler mant&#305;&#287;&#305; : ent://SD_ILS/0/SD_ILS:101355 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Nesin, Ali.<br/>Preferred Shelf Number&#160;QA 270 .N476 2004<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Handbook of the logic of argument and inference the turn towards the practical ent://SD_ILS/0/SD_ILS:256606 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Gabbay, Dov M., 1945-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444506504">http://www.sciencedirect.com/science/book/9780444506504</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Develerle e&#351;ekler : ent://SD_ILS/0/SD_ILS:101352 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Nesin, Ali.&#160;Akg&uuml;l, Tayfun, karikat&uuml;r.<br/>Preferred Shelf Number&#160;QA 270 .N474 2002<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Mathematical logic ent://SD_ILS/0/SD_ILS:256600 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Turing, Alan Mathison, 1912-1954.&#160;Gandy, R. O. (Robin O.)&#160;Yates, C. E. M.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504234">http://www.sciencedirect.com/science/book/9780444504234</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The logic of knowledge bases ent://SD_ILS/0/SD_ILS:219965 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Levesque, Hector J., 1951-&#160;Lakemeyer, Gerhard.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Between Logic and Intuition Essays in Honor of Charles Parsons ent://SD_ILS/0/SD_ILS:235087 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Sher, Gila.&#160;Tieszen, Richard.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511570681">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Peirce to Skolem a neglected chapter in the history of logic ent://SD_ILS/0/SD_ILS:256562 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Brady, Geraldine.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444503343">http://www.sciencedirect.com/science/book/9780444503343</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning to reason an introduction to logic, sets and relations ent://SD_ILS/0/SD_ILS:300357 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Rodgers, Nancy, 1941-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118165690">An electronic book accessible through the World Wide Web; click for information</a> Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=818931">Click here to view book</a> Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley043/00023492.html">http://catdir.loc.gov/catdir/bios/wiley043/00023492.html</a> ebrary <a href="http://site.ebrary.com/id/10500922">http://site.ebrary.com/id/10500922</a> <a href="http://site.ebrary.com/lib/alltitles/Doc?id=10500922">http://site.ebrary.com/lib/alltitles/Doc?id=10500922</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-based methods for optimization combining optimization and constraint satisfaction ent://SD_ILS/0/SD_ILS:300296 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Hooker, John, 1949-&#160;Wiley InterScience (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118033036">An electronic book accessible through the World Wide Web; click for information</a> Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley043/99088732.html">http://catdir.loc.gov/catdir/bios/wiley043/99088732.html</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sembolik mant&#305;k el kitab&#305; ent://SD_ILS/0/SD_ILS:88937 2025-01-15T21:50:20Z 2025-01-15T21:50:20Z Author&#160;Gr&uuml;nberg, Teo.<br/>Preferred Shelf Number&#160;BC 135 G969 2000 V.2<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/>