Search Results for Logic, Symbolic and mathematical. - Narrowed by: Online LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-09-14T07:09:45ZArtificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensionsent://SD_ILS/0/SD_ILS:4025142024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Buscema, Paolo Massimo. author. Massini, Giulia. author. Breda, Marco. author. Lodwick, Weldon A. author. Newman, Francis. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Propertiesent://SD_ILS/0/SD_ILS:3995662024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89650-2">https://doi.org/10.1007/978-3-319-89650-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Sizeent://SD_ILS/0/SD_ILS:3995762024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89653-3">https://doi.org/10.1007/978-3-319-89653-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logics for Computer Science Classical and Non-Classicalent://SD_ILS/0/SD_ILS:3996162024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Wasilewska, Anita. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Model Checkingent://SD_ILS/0/SD_ILS:4012932024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logical Foundations of Cyber-Physical Systemsent://SD_ILS/0/SD_ILS:3994992024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Platzer, André. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>An Introduction to the Technique of Formative Processes in Set Theoryent://SD_ILS/0/SD_ILS:4018062024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Cantone, Domenico. author. Ursino, Pietro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Computational Artifacts Towards a Philosophy of Computer Scienceent://SD_ILS/0/SD_ILS:4027122024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Turner, Raymond. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55565-1">https://doi.org/10.1007/978-3-662-55565-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Commonsense reasoning an event calculus-based approachent://SD_ILS/0/SD_ILS:3554372024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Mueller, Erik T., author.<br/>Preferred Shelf Number ONLINE(355437.1)<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128014165">http://www.sciencedirect.com/science/book/9780128014165</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logicism and its philosophical legacyent://SD_ILS/0/SD_ILS:2803042024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Demopoulos, William.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Kurt Gödel Essays for his Centennialent://SD_ILS/0/SD_ILS:2362162024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Feferman, Solomon. Parsons, Charles. Simpson, Stephen G..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511750762">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Structureent://SD_ILS/0/SD_ILS:3310102024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Dalen, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331010.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Lifeent://SD_ILS/0/SD_ILS:3310262024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Dalen, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331026.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>An Invitation to Abstract Mathematicsent://SD_ILS/0/SD_ILS:3320772024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Bajnok, Béla. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332077.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Proofs of the Cantor-Bernstein Theorem A Mathematical Excursionent://SD_ILS/0/SD_ILS:3326052024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Hinkis, Arie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332605.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Visual Reasoning with Diagramsent://SD_ILS/0/SD_ILS:3326372024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332637.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Towards a General Theory of Classificationsent://SD_ILS/0/SD_ILS:3326392024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332639.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschriftent://SD_ILS/0/SD_ILS:3328222024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Paule, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332822.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Stochastic Calculus with Infinitesimalsent://SD_ILS/0/SD_ILS:3336732024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Herzberg, Frederik. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333673.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Cylindric-like Algebras and Algebraic Logicent://SD_ILS/0/SD_ILS:3339222024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333922.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics of Fuzzy Sets and Fuzzy Logicent://SD_ILS/0/SD_ILS:3339502024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Bede, Barnabas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333950.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2ent://SD_ILS/0/SD_ILS:3340182024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334018.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3340382024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334038.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidlerent://SD_ILS/0/SD_ILS:3374762024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Zeidler, Eberhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337476.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Belief Revision in Non-Classical Logicsent://SD_ILS/0/SD_ILS:3309252024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Ribeiro, Márcio Moretto. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330925.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartzent://SD_ILS/0/SD_ILS:3309422024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330942.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>A Logical Introduction to Proofent://SD_ILS/0/SD_ILS:3313582024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Cunningham, Daniel W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331358.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:3318532024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Srivastava, Shashi Mohan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331853.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Mathematics of Coordinated Inference A Study of Generalized Hat Problemsent://SD_ILS/0/SD_ILS:3328592024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332859.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Real Numbers An Introduction to Set Theory and Analysisent://SD_ILS/0/SD_ILS:3328762024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Stillwell, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332876.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Physikent://SD_ILS/0/SD_ILS:3330362024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333036.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3344652024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334465.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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. Proceedingsent://SD_ILS/0/SD_ILS:3347182024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334718.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Reactive Kripke Semanticsent://SD_ILS/0/SD_ILS:3351002024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Gabbay, Dov M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335100.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3350322024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335032.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elementsent://SD_ILS/0/SD_ILS:3359412024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335941.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Argument of Mathematicsent://SD_ILS/0/SD_ILS:3362632024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336263.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933ent://SD_ILS/0/SD_ILS:3368502024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336850.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismusent://SD_ILS/0/SD_ILS:3369682024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Tapp, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336968.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29654-3">http://dx.doi.org/10.1007/978-3-642-29654-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweisent://SD_ILS/0/SD_ILS:3382832024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338283.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Mathematics of Paul Erdős IIent://SD_ILS/0/SD_ILS:3322432024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Graham, Ronald L. editor. Nešetřil, Jaroslav. editor. Butler, Steve. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332243.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logical Foundations of Mathematics and Computational Complexity A Gentle Introductionent://SD_ILS/0/SD_ILS:3326812024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Pudlák, Pavel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332681.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347022024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Hasegawa, Masahito. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334702.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logikent://SD_ILS/0/SD_ILS:3371152024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337115.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>An introduction to Gödel's theoremsent://SD_ILS/0/SD_ILS:2805942024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Smith, Peter, 1944- author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1964382024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic: A Brief Courseent://SD_ILS/0/SD_ILS:2046172024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Mundici, Daniele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löfent://SD_ILS/0/SD_ILS:2066602024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Dybjer, P. editor. Lindström, Sten. editor. Palmgren, Erik. editor. Sundholm, G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial Set Theory With a Gentle Introduction to Forcingent://SD_ILS/0/SD_ILS:1733792024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Halbeisen, Lorenz J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Sparsity Graphs, Structures, and Algorithmsent://SD_ILS/0/SD_ILS:1962872024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Nešetřil, Jaroslav. author. Ossona de Mendez, Patrice. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics of Discrete Structures for Computer Scienceent://SD_ILS/0/SD_ILS:1967782024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Pace, Gordon J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semanticsent://SD_ILS/0/SD_ILS:1971022024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Teoria algebrica dei meccanismi automaticient://SD_ILS/0/SD_ILS:1915212024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Righi, R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Algebraic Specification and Formal Software Developmentent://SD_ILS/0/SD_ILS:1935722024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>On Intuitionistic Fuzzy Sets Theoryent://SD_ILS/0/SD_ILS:1966212024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Atanassov, Krassimir T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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. Proceedingsent://SD_ILS/0/SD_ILS:1969792024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notesent://SD_ILS/0/SD_ILS:1970872024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Complexity of Valued Constraint Satisfaction Problemsent://SD_ILS/0/SD_ILS:1974502024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Živný, Stanislav. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Non solo calcoli Domande e risposte sui perché della matematicaent://SD_ILS/0/SD_ILS:2046792024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Villani, Vinicio. author. Bernardi, Claudio. author. Zoccante, Sergio. author. Porcaro, Roberto. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Truth and Falsehood An Inquiry into Generalized Logical Valuesent://SD_ILS/0/SD_ILS:2059582024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Shramko, Yaroslav. author. Wansing, Heinrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Peeling potatoes or grinding lenses Spinoza and young Wittgenstein converse on immanence and its logicent://SD_ILS/0/SD_ILS:2420872024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Baltas, Aristeidēs. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780822977902/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Olympiad Treasuresent://SD_ILS/0/SD_ILS:1683592024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Andreescu, Titu. author. Enescu, Bogdan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Excursions in the History of Mathematicsent://SD_ILS/0/SD_ILS:1683642024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Kleiner, Israel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>A Beginner's Guide to Discrete Mathematicsent://SD_ILS/0/SD_ILS:1683702024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Wallis, W.D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Lecture Notes on O-Minimal Structures and Real Analytic Geometryent://SD_ILS/0/SD_ILS:1743712024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Miller, Chris. editor. Rolin, Jean-Philippe. editor. Speissegger, Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Mathematical Structures and Proofsent://SD_ILS/0/SD_ILS:1743892024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Gerstein, Larry J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Mathematical Experience, Study Editionent://SD_ILS/0/SD_ILS:1683732024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Davis, Philip J. author. Hersh, Reuben. author. Marchisotto, Elena Anne. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-8295-8">http://dx.doi.org/10.1007/978-0-8176-8295-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Beginner's Guide to Finite Mathematics For Business, Management, and the Social Sciencesent://SD_ILS/0/SD_ILS:1683812024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Wallis, W.D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Frege's notations what they are and how they meanent://SD_ILS/0/SD_ILS:2790842024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Landini, Gregory. Palgrave Connect (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Logic for Computer Scienceent://SD_ILS/0/SD_ILS:1735402024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Around and Beyond the Square of Oppositionent://SD_ILS/0/SD_ILS:1767822024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Béziau, Jean-Yves. editor. Jacquette, Dale. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Un mondo di idee La matematica ovunqueent://SD_ILS/0/SD_ILS:2045012024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Ciliberto, Ciro. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008ent://SD_ILS/0/SD_ILS:2045272024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Skof, Fulvia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-1836-5">http://dx.doi.org/10.1007/978-88-470-1836-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logica: Metodo Breveent://SD_ILS/0/SD_ILS:2045422024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Mundici, Daniele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Methods of Cut-Eliminationent://SD_ILS/0/SD_ILS:2058082024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Leitsch, Alexander. author. Baaz, Matthias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Games, Norms and Reasons Logic at the Crossroadsent://SD_ILS/0/SD_ILS:2059242024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Strict Finitism and the Logic of Mathematical Applicationsent://SD_ILS/0/SD_ILS:2060412024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Ye, Feng. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1347-5">http://dx.doi.org/10.1007/978-94-007-1347-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Treatise on Intuitionistic Type Theoryent://SD_ILS/0/SD_ILS:2061592024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Granström, Johan Georg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophiesent://SD_ILS/0/SD_ILS:2379382024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Kennedy, Juliette. Kossak, Roman.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511910616">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Evolution of Principia Mathematica Bertrand Russell's Manuscripts and Notes for the Second Editionent://SD_ILS/0/SD_ILS:2389532024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Linsky, Bernard.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511760181">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Kleinent://SD_ILS/0/SD_ILS:2473112024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Hopkins, Burt C. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780253005274/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cantor und die Franzosen Mathematik, Philosophie und das Unendlicheent://SD_ILS/0/SD_ILS:1927952024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Décaillot, Anne-Marie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Conditionals and Modularity in General Logicsent://SD_ILS/0/SD_ILS:1939232024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946722024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technologyent://SD_ILS/0/SD_ILS:1917642024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1952732024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1955542024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Recursion Theory and Computational Complexityent://SD_ILS/0/SD_ILS:1915682024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Lolli, G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Aspects of Mathematical Logicent://SD_ILS/0/SD_ILS:1915712024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Casari, E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Model Theory and Applicationsent://SD_ILS/0/SD_ILS:1915852024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Mangani, P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wilesent://SD_ILS/0/SD_ILS:1923892024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Bartocci, Claudio. editor. Betti, Renato. editor. Guerraggio, Angelo. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Hyperfinite Dirichlet Forms and Stochastic Processesent://SD_ILS/0/SD_ILS:1941142024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Albeverio, Sergio. author. Fan, Ruzong. author. Herzberg, Frederik. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1947852024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Ong, Luke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>From Objects to Diagrams for Ranges of Functorsent://SD_ILS/0/SD_ILS:1948132024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Gillibert, Pierre. author. Wehrung, Friedrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1948482024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Apartness and Uniformity A Constructive Developmentent://SD_ILS/0/SD_ILS:1950192024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Games on Automatic Structures Playing with Quantifiers and Decompositionsent://SD_ILS/0/SD_ILS:1951452024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Kaiser, Łukasz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logikent://SD_ILS/0/SD_ILS:1987712024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Logic and its Proof-Theoryent://SD_ILS/0/SD_ILS:2057162024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Braüner, Torben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Dual Tableaux: Foundations, Methodology, Case Studiesent://SD_ILS/0/SD_ILS:2057172024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Proof, Computation and Agency Logic at the Crossroadsent://SD_ILS/0/SD_ILS:2057412024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Łukasiewicz calculus and MV-algebrasent://SD_ILS/0/SD_ILS:2059492024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Mundici, D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Foundational Theories of Classical and Constructive Mathematicsent://SD_ILS/0/SD_ILS:2058422024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Sommaruga, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0431-2">http://dx.doi.org/10.1007/978-94-007-0431-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bellent://SD_ILS/0/SD_ILS:2057802024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor DeVidi, David. editor. Hallett, Michael. editor. Clarke, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0214-1">http://dx.doi.org/10.1007/978-94-007-0214-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>After Gödel Platonism and rationalism in mathematics and logicent://SD_ILS/0/SD_ILS:2320292024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Tieszen, Richard L.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Quantifiers, Propositions and Identity Admissible Semantics for Quantified Modal and Substructural Logicsent://SD_ILS/0/SD_ILS:2363042024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Goldblatt, Robert.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511862359">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical Dynamics of Information and Interactionent://SD_ILS/0/SD_ILS:2368442024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor van Benthem, Johan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511974533">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of logic and languageent://SD_ILS/0/SD_ILS:1481462024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444537263">http://www.sciencedirect.com/science/book/9780444537263</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Selected Correspondence of L.E.J. Brouwerent://SD_ILS/0/SD_ILS:1685292024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Dalen, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Proofs and Fundamentals A First Course in Abstract Mathematicsent://SD_ILS/0/SD_ILS:1727802024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Bloch, Ethan D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Reading, Writing, and Proving A Closer Look at Mathematicsent://SD_ILS/0/SD_ILS:1732232024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Daepp, Ulrich. author. Gorkin, Pamela. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Proof is in the Pudding The Changing Nature of Mathematical Proofent://SD_ILS/0/SD_ILS:1664232024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Krantz, Steven G. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic demystifiedent://SD_ILS/0/SD_ILS:2941152024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Boutelle, Anthony. Gibilisco, Stan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/logic-demystified">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>McGraw-Hill's conquering LSAT logic gamesent://SD_ILS/0/SD_ILS:2940452024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Curvebreakers.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/mcgrawhills-conquering-lsat-logic-games-third-edition">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>McGraw-Hill's LSATent://SD_ILS/0/SD_ILS:2940722024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Curvebreakers.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/mcgrawhills-lsat-2012-edition">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An introduction to practical formal methods using temporal logicent://SD_ILS/0/SD_ILS:3057032024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Fisher, Michael, 1962-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Computational logic and human thinking how to be artificially intelligentent://SD_ILS/0/SD_ILS:2787482024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Kowalski, Robert.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical aspects of logic programming semanticsent://SD_ILS/0/SD_ILS:2851882024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Hitzler, Pascal. Seda, Anthony.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439829622">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematicsent://SD_ILS/0/SD_ILS:1672642024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Soifer, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Natural Deduction, Hybrid Systems and Modal Logicsent://SD_ILS/0/SD_ILS:2053152024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Indrzejczak, Andrzej. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Propositions, functions, and analysis selected essays on Russell's philosophyent://SD_ILS/0/SD_ILS:2315782024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Hylton, Peter.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium 2007ent://SD_ILS/0/SD_ILS:2367832024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511778421">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematische Logikent://SD_ILS/0/SD_ILS:1766982024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Ziegler, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Variaent://SD_ILS/0/SD_ILS:1884172024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logical Tools for Handling Change in Agent-Based Systemsent://SD_ILS/0/SD_ILS:1909372024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Banach Spaces and Descriptive Set Theory: Selected Topicsent://SD_ILS/0/SD_ILS:1919052024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Dodos, Pandelis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermeloent://SD_ILS/0/SD_ILS:1899982024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Deiser, Oliver. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Logic Foundations for Information Scienceent://SD_ILS/0/SD_ILS:1982152024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Li, Wei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Philosophy of Mathematics in the Early Husserlent://SD_ILS/0/SD_ILS:2050212024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Centrone, Stefania. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3246-1">http://dx.doi.org/10.1007/978-90-481-3246-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical Foundations of Proof Complexityent://SD_ILS/0/SD_ILS:2378342024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Cook, Stephen. Nguyen, Phuong.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511676277">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Truth through proof a formalist foundation for mathematicsent://SD_ILS/0/SD_ILS:2332572024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Weir, Alan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>A Framework for Priority Argumentsent://SD_ILS/0/SD_ILS:2367662024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Lerman, Manuel.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511750779">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The P=NP Question and Gödel’s Lost Letterent://SD_ILS/0/SD_ILS:1727872024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Lipton, Richard J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Cardinal Invariants on Boolean Algebrasent://SD_ILS/0/SD_ILS:1766702024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Monk, J. Donald. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathansonent://SD_ILS/0/SD_ILS:1665742024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Chudnovsky, David. editor. Chudnovsky, Gregory. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical reasoning patterns, problems, conjectures, and proofsent://SD_ILS/0/SD_ILS:2656162024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Nickerson, Raymond S.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203848029">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Roads to infinity the mathematics of truth and proofent://SD_ILS/0/SD_ILS:2898522024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Stillwell, John.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439865507">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Set Theoryent://SD_ILS/0/SD_ILS:1695902024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Foreman, Matthew. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5764-9">http://dx.doi.org/10.1007/978-1-4020-5764-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Course in Mathematical Logic for Mathematiciansent://SD_ILS/0/SD_ILS:1720152024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Manin, Yu. I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:1721862024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Cognitive Reasoning A Formal Approachent://SD_ILS/0/SD_ILS:1856262024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logische Grundlagen der Mathematikent://SD_ILS/0/SD_ILS:1895602024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Schindler, Ralf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Informationent://SD_ILS/0/SD_ILS:1897632024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Sommaruga, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1904732024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Wen, Peng. editor. Li, Yuefeng. editor. Polkowski, Lech. editor. Yao, Yiyu. editor. Tsumoto, Shusaku. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Weighted Automataent://SD_ILS/0/SD_ILS:1900162024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Droste, Manfred. editor. Kuich, Werner. editor. Vogler, Heiko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1902722024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Curien, Pierre-Louis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1902962024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Treinen, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Teaching and learning proof across the grades a K-16 perspectiveent://SD_ILS/0/SD_ILS:2669552024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Stylianou, Despina A. Blanton, Maria L. Knuth, Eric J. National Council of Teachers of Mathematics.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203882009">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium 2006ent://SD_ILS/0/SD_ILS:2377752024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511605321">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logicism, Intuitionism, and Formalism What has Become of Them?ent://SD_ILS/0/SD_ILS:1703802024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Lindström, Sten. editor. Palmgren, Erik. editor. Segerberg, Krister. editor. Stoltenberg-Hansen, Viggo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IVent://SD_ILS/0/SD_ILS:1704322024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Games: Unifying Logic, Language, and Philosophyent://SD_ILS/0/SD_ILS:1705172024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>From a Geometrical Point of View A Study of the History and Philosophy of Category Theoryent://SD_ILS/0/SD_ILS:1705222024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Marquis, Jean-Pierre. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9384-5">http://dx.doi.org/10.1007/978-1-4020-9384-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proof Theory for Fuzzy Logicsent://SD_ILS/0/SD_ILS:1705272024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Boolean Algebrasent://SD_ILS/0/SD_ILS:1665842024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Halmos, Paul. author. Givant, Steven. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Generalized Measure Theoryent://SD_ILS/0/SD_ILS:1674122024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Wang, Zhenyuan. author. Klir, George J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Scenario Logic and Probabilistic Management of Risk in Business and Engineeringent://SD_ILS/0/SD_ILS:1675412024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Solojentsev, Evgueni D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Olympiad Challengesent://SD_ILS/0/SD_ILS:1682242024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Andreescu, Titu. author. Gelca, Răzvan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to mathematics of satisfiabilityent://SD_ILS/0/SD_ILS:2869212024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Marek, V. W. (V. Wiktor), 1943-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439801741">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical labyrinthsent://SD_ILS/0/SD_ILS:2870662024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Smullyan, Raymond M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439865378">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Games, puzzles, and computationent://SD_ILS/0/SD_ILS:2879652024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Hearn, Robert A. Demaine, Erik D., 1981-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439865057">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creatorsent://SD_ILS/0/SD_ILS:1671882024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Soifer, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>A Missing Link in Cybernetics Logic and Continuityent://SD_ILS/0/SD_ILS:1672392024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Andrew, Alex M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Integer Programmingent://SD_ILS/0/SD_ILS:1680062024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Williams, H. Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Dude, Can You Count? Stories, Challenges, and Adventures in Mathematicsent://SD_ILS/0/SD_ILS:1760012024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Constanda, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Composition Paradigms of Automated Music Generationent://SD_ILS/0/SD_ILS:1770422024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Nierhaus, Gerhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Proof Theory The First Step into Impredicativityent://SD_ILS/0/SD_ILS:1857832024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Pohlers, Wolfram. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Scienceent://SD_ILS/0/SD_ILS:1886342024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Atmanspacher, Harald. editor. Primas, Hans. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85198-1">http://dx.doi.org/10.1007/978-3-540-85198-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1894352024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:1901092024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Ultimate Explanations of the Universeent://SD_ILS/0/SD_ILS:1902172024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Heller, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1906212024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Corradini, Andrea. editor. Montanari, Ugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908142024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Grädel, Erich. editor. Kahle, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1910902024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Institution-independent Model Theoryent://SD_ILS/0/SD_ILS:1981252024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Diaconescu, Răzvan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Guida alla teoria degli insiemient://SD_ILS/0/SD_ILS:2042852024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Lolli, Gabriele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Deduction, Computation, Experiment Exploring the Effectiveness of Proofent://SD_ILS/0/SD_ILS:2042912024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Lupacchini, Rossella. editor. Corsi, Giovanna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics, Models, and Modality Selected Philosophical Essaysent://SD_ILS/0/SD_ILS:2353692024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Burgess, John P..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511487347">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms in Invariant Theoryent://SD_ILS/0/SD_ILS:1770662024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Sturmfels, Bernd. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Theoretische Informatik Eine umfassende Einführungent://SD_ILS/0/SD_ILS:1875752024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Erk, Katrin. author. Priese, Lutz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologieent://SD_ILS/0/SD_ILS:1876882024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Hausdorff, Felix. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Petri-Netzeent://SD_ILS/0/SD_ILS:1877452024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Priese, Lutz. author. Wimmel, Harro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Field Arithmeticent://SD_ILS/0/SD_ILS:1878262024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Applied Proof Theory: Proof Interpretations and Their Use in Mathematicsent://SD_ILS/0/SD_ILS:1879032024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Kohlenbach, Ulrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>New Developments in Formal Languages and Applicationsent://SD_ILS/0/SD_ILS:1880792024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Bel-Enguix, Gemma. editor. Jiménez-López, M. Dolores. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1885002024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1888632024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Completeness Theory for Propositional Logicsent://SD_ILS/0/SD_ILS:1980802024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Pogorzelski, Witold A. author. Wojtylak, Piotr. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>New essays on Tarski and philosophyent://SD_ILS/0/SD_ILS:2310672024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Patterson, Douglas.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>New Computational Paradigms Changing Conceptions of What is Computableent://SD_ILS/0/SD_ILS:1665942024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic for Computer Scientistsent://SD_ILS/0/SD_ILS:1682822024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Schöning, Uwe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Discrete Thoughts Essays on Mathematics, Science and Philosophyent://SD_ILS/0/SD_ILS:1682842024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Kac, Mark. author. Rota, Gian-Carlo. author. Schwartz, Jacob T. author. Renz, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Indiscrete Thoughtsent://SD_ILS/0/SD_ILS:1682852024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Rota, Gian-Carlo. Palombi, Fabrizio. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systemsent://SD_ILS/0/SD_ILS:1699392024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:1673202024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Srivastava, S. M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical logicent://SD_ILS/0/SD_ILS:3030992024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Tourlakis, George J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9781118032435">http://dx.doi.org/10.1002/9781118032435</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorics and Graph Theoryent://SD_ILS/0/SD_ILS:1676862024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Harris, John. author. Hirst, Jeffry L. author. Mossinghoff, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Information and Knowledge A Constructive Type-theoretical Approachent://SD_ILS/0/SD_ILS:1697112024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Primiero, Giuseppe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Constructive Negations and Paraconsistencyent://SD_ILS/0/SD_ILS:1699722024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Odintsov, Sergei P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Solerent://SD_ILS/0/SD_ILS:1702362024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Carnielli, Walter. author. Pizzi, Claudio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patternsent://SD_ILS/0/SD_ILS:1702502024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Pagliani, Piero. editor. Chakraborty, Mihir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgenent://SD_ILS/0/SD_ILS:1884162024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Deiser, Oliver. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866382024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1873062024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logica Universalis Towards a General Theory of Logicent://SD_ILS/0/SD_ILS:1980472024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Beziau, Jean-Yves. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium 2005ent://SD_ILS/0/SD_ILS:2366312024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511546464">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Arché Papers on the Mathematics of Abstractionent://SD_ILS/0/SD_ILS:1522542024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Cook, Roy T. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-4265-2">http://dx.doi.org/10.1007/978-1-4020-4265-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Educationent://SD_ILS/0/SD_ILS:1523412024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Kerkhove, Bart. Bendegem, Jean Paul. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-5034-8">http://dx.doi.org/10.1007/1-4020-5034-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Brouwer Meets Husserl On the Phenomenology of Choice Sequencesent://SD_ILS/0/SD_ILS:1523492024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Atten, Mark. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Strength of Nonstandard Analysisent://SD_ILS/0/SD_ILS:1769662024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Berg, Imme. editor. Neves, Vítor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Spatial Logicsent://SD_ILS/0/SD_ILS:1524042024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Aiello, Marco. Pratt-Hartmann, Ian. Benthem, Johan. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5587-4">http://dx.doi.org/10.1007/978-1-4020-5587-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Passione per Trilli Alcune idee dalla matematicaent://SD_ILS/0/SD_ILS:1526312024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Lucchetti, Roberto. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Problems from Applied Logic II Logics for the XXIst Centuryent://SD_ILS/0/SD_ILS:1667112024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Gabbay, Dov M. editor. Zakharyaschev, Michael. editor. Goncharov, Sergei S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Number Theory An Introduction via the Distribution of Primesent://SD_ILS/0/SD_ILS:1681862024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Fine, Benjamin. author. Rosenberger, Gerhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>104 Number Theory Problems From the Training of the USA IMO Teament://SD_ILS/0/SD_ILS:1681992024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Andreescu, Titu. author. Andrica, Dorin. author. Feng, Zuming. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>A Beginner’s Guide to Graph Theoryent://SD_ILS/0/SD_ILS:1682082024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Wallis, W. D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Legacy of Mario Pieri in Geometry and Arithmeticent://SD_ILS/0/SD_ILS:1682182024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Marchisotto, Elena Anne. author. Smith, James T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebraent://SD_ILS/0/SD_ILS:1661152024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Cox, David. author. Little, John. author. O’Shea, Donal. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Kolmogorov’s Heritage in Mathematicsent://SD_ILS/0/SD_ILS:1843742024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Charpentier, Éric. editor. Lesne, Annick. editor. Nikolski, Nikolaï K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgenent://SD_ILS/0/SD_ILS:1848422024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Deiser, Oliver. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Ernst Zermelo An Approach to His Life and Workent://SD_ILS/0/SD_ILS:1852262024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Ebbinghaus, Heinz-Dieter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Finite Model Theory and Its Applicationsent://SD_ILS/0/SD_ILS:1855932024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866522024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004ent://SD_ILS/0/SD_ILS:1979742024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Bagaria, Joan. editor. Todorcevic, Stevo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Tracking reason proof, consequence, and truthent://SD_ILS/0/SD_ILS:2313522024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Azzouni, Jody.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Commonsense reasoningent://SD_ILS/0/SD_ILS:2537762024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Mueller, Erik T.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123693884">http://www.sciencedirect.com/science/book/9780123693884</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parameterized Complexity Theoryent://SD_ILS/0/SD_ILS:1821972024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Théorie des ensemblesent://SD_ILS/0/SD_ILS:1839152024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Bourbaki, N. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theoryent://SD_ILS/0/SD_ILS:1843382024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Lau, Dietlinde. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1844962024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814948">http://dx.doi.org/10.1007/11814948</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A logical Approach to Philosophy Essays in Honour of Graham Solomonent://SD_ILS/0/SD_ILS:1522222024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Devidi, David. Kenyon, Tim. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4054-7">http://dx.doi.org/10.1007/1-4020-4054-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cambridge and Vienna Frank P. Ramsey and the Vienna Circleent://SD_ILS/0/SD_ILS:1522282024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Galavotti, Maria Carla. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4101-2">http://dx.doi.org/10.1007/1-4020-4101-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Todayent://SD_ILS/0/SD_ILS:1523382024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Benthem, Johan. Heinzmann, Gerhard. Rebuschi, Manuel. Visser, Henk. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Techniques of Constructive Analysisent://SD_ILS/0/SD_ILS:1662282024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>18 Unconventional Essays on the Nature of Mathematicsent://SD_ILS/0/SD_ILS:1656772024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Hersh, Reuben. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:1660202024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Problems and Theorems in Classical Set Theoryent://SD_ILS/0/SD_ILS:1661392024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Komjáth, Péter. author. Totik, Vilmos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Theorems, corollaries, lemmas, and methods of proofent://SD_ILS/0/SD_ILS:3030912024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Rossi, Richard J., 1956-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics and common sense a case of creative tensionent://SD_ILS/0/SD_ILS:2898482024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Davis, Philip J., 1923-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439864326">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Problems from Applied Logic I Logics for the XXIst Centuryent://SD_ILS/0/SD_ILS:1657822024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Notes on Set Theoryent://SD_ILS/0/SD_ILS:1658252024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Moschovakis, Yiannis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Congruences of a Finite Lattice A Proof-by-Picture Approachent://SD_ILS/0/SD_ILS:1681482024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Grätzer, George. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Finite Model Theoryent://SD_ILS/0/SD_ILS:1818572024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>More Sets, Graphs and Numbers A Salute to Vera Sós and András Hajnalent://SD_ILS/0/SD_ILS:1833802024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Győri, Ervin. Katona, Gyula O. H. Lovász, László. Fleiner, Tamás. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Axiom of Choiceent://SD_ILS/0/SD_ILS:1839832024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Herrlich, Horst. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11601562">http://dx.doi.org/10.1007/11601562</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1848452024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11874683">http://dx.doi.org/10.1007/11874683</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Categories for Software Engineeringent://SD_ILS/0/SD_ILS:1810672024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Fiadeiro, José Luiz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138249">http://dx.doi.org/10.1007/b138249</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Modern Number Theory Fundamental Problems, Ideas and Theoriesent://SD_ILS/0/SD_ILS:1815402024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Manin, Yuri Ivanovic. author. Panchishkin, Alexei A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Valued Fieldsent://SD_ILS/0/SD_ILS:1822422024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1827522024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11527695">http://dx.doi.org/10.1007/11527695</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1828262024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137280">http://dx.doi.org/10.1007/b137280</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1829832024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Ong, Luke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11538363">http://dx.doi.org/10.1007/11538363</a><br/>Format: Electronic Resources<br/>Availability 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 Birthdayent://SD_ILS/0/SD_ILS:1833672024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Middeldorp, Aart. editor. Oostrom, Vincent. editor. Raamsdonk, Femke. editor. Vrijer, Roel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11601548">http://dx.doi.org/10.1007/11601548</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logica Universalis Towards a General Theory of Logicent://SD_ILS/0/SD_ILS:1978382024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Beziau, Jean-Yves. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137041">http://dx.doi.org/10.1007/b137041</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rippling: Meta-Level Guidance for Mathematical Reasoningent://SD_ILS/0/SD_ILS:2382012024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Bundy, Alan. Basin, David. Hutter, Dieter. Ireland, Andrew.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511543326">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Phenomenology, Logic, and the Philosophy of Mathematicsent://SD_ILS/0/SD_ILS:2370472024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Tieszen, Richard.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511498589">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Laws of Natureent://SD_ILS/0/SD_ILS:1525642024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Mittelstaedt, Peter. Weingartner, Paul A. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28303-X">http://dx.doi.org/10.1007/3-540-28303-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Essays in Constructive Mathematicsent://SD_ILS/0/SD_ILS:1653372024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Edwards, Harold M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138656">http://dx.doi.org/10.1007/b138656</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Modern Perspective on Type Theory From its Origins until Todayent://SD_ILS/0/SD_ILS:1686932024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Propositional and Predicate Calculus A Model of Argumentent://SD_ILS/0/SD_ILS:1753282024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Goldrei, Derek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Scenario Logic and Probabilistic Management of Risk in Business and Engineeringent://SD_ILS/0/SD_ILS:1687822024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Solojentsev, E. D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Trends in Continuum Mechanics of Porous Mediaent://SD_ILS/0/SD_ILS:1688212024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Boer, Reint. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Visualization, Explanation and Reasoning Styles in Mathematicsent://SD_ILS/0/SD_ILS:1688742024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3335-4">http://dx.doi.org/10.1007/1-4020-3335-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logically determined design clockless system design with NULL convention logicent://SD_ILS/0/SD_ILS:3016452024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Fant, Karl M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Big Typescript, TS. 213ent://SD_ILS/0/SD_ILS:2962442024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Wittgenstein, Ludwig, 1889-1951. Luckhardt, C. Grant, 1943- Aue, Maximilian. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Adapting Proofs-as-Programs The Curry-Howard Protocolent://SD_ILS/0/SD_ILS:1654862024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Field Arithmeticent://SD_ILS/0/SD_ILS:1811002024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138352">http://dx.doi.org/10.1007/b138352</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1832412024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106663">http://dx.doi.org/10.1007/b106663</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Linear Logic in Computer Scienceent://SD_ILS/0/SD_ILS:2377362024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511550850">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of the logic of argument and inference the turn towards the practicalent://SD_ILS/0/SD_ILS:2566062024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Gabbay, Dov M., 1945-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444506504">http://www.sciencedirect.com/science/book/9780444506504</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical logicent://SD_ILS/0/SD_ILS:2566002024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Turing, Alan Mathison, 1912-1954. Gandy, R. O. (Robin O.) Yates, C. E. M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504234">http://www.sciencedirect.com/science/book/9780444504234</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Peirce to Skolem a neglected chapter in the history of logicent://SD_ILS/0/SD_ILS:2565622024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Brady, Geraldine.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444503343">http://www.sciencedirect.com/science/book/9780444503343</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The logic of knowledge basesent://SD_ILS/0/SD_ILS:2199652024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Levesque, Hector J., 1951- Lakemeyer, Gerhard.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Between Logic and Intuition Essays in Honor of Charles Parsonsent://SD_ILS/0/SD_ILS:2350872024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Sher, Gila. Tieszen, Richard.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511570681">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learning to reason an introduction to logic, sets and relationsent://SD_ILS/0/SD_ILS:3003572024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Rodgers, Nancy, 1941-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Logic-based methods for optimization combining optimization and constraint satisfactionent://SD_ILS/0/SD_ILS:3002962024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Hooker, John, 1949- Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Optimization methods for logical inferenceent://SD_ILS/0/SD_ILS:3003052024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Chandru, Vijay, 1953- Hooker, John, 1949-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118033166">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=695262">Click here to view book</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley042/98044622.html">http://catdir.loc.gov/catdir/bios/wiley042/98044622.html</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ones and zeros understanding Boolean algebra, digital circuits, and the logic of setsent://SD_ILS/0/SD_ILS:2496792024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Gregg, John.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Admissibility of logical inference rulesent://SD_ILS/0/SD_ILS:2565422024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Rybakov, Vladimir V. (Vladimir Vladimir), 1961-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444895059">http://www.sciencedirect.com/science/book/9780444895059</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of logic and languageent://SD_ILS/0/SD_ILS:2565432024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Benthem, Johan van, 1949- Meulen, Alice G. B. ter.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444817143">http://www.sciencedirect.com/science/book/9780444817143</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic of mathematics a modern course of classical logicent://SD_ILS/0/SD_ILS:3002602024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Adamowicz, Zofia. Zbierski, Paweł. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118032541">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=694510">Click here to view book</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley042/95020818.html">http://catdir.loc.gov/catdir/bios/wiley042/95020818.html</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of logic and logic programmingent://SD_ILS/0/SD_ILS:2537402024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444816443">http://www.sciencedirect.com/science/book/9780444816443</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical frameworks for truth and abstraction an axiomatic studyent://SD_ILS/0/SD_ILS:2565332024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Cantini, Andrea.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444823069">http://www.sciencedirect.com/science/book/9780444823069</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic and information flowent://SD_ILS/0/SD_ILS:2198942024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Eijck, J. van (Jan) Visser, Albert.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991ent://SD_ILS/0/SD_ILS:2565552024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444893413">http://www.sciencedirect.com/science/book/9780444893413</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988ent://SD_ILS/0/SD_ILS:2569582024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874559">http://www.sciencedirect.com/science/book/9780444874559</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computability, complexity, logicent://SD_ILS/0/SD_ILS:2571732024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Börger, E. (Egon), 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874061">http://www.sciencedirect.com/science/book/9780444874061</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic-based decision support mixed integer model formulationent://SD_ILS/0/SD_ILS:2567822024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Jeroslow, Robert G., 1942-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444871190">http://www.sciencedirect.com/science/book/9780444871190</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987ent://SD_ILS/0/SD_ILS:2570892024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444880222">http://www.sciencedirect.com/science/book/9780444880222</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985ent://SD_ILS/0/SD_ILS:2572462024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444702111">http://www.sciencedirect.com/science/book/9780444702111</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984ent://SD_ILS/0/SD_ILS:2569572024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Logic Colloquium '84 (Manchester) Paris, J. B. Wilkie, A. J. (Alex J) Wilmers, G. M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444879998">http://www.sciencedirect.com/science/book/9780444879998</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982ent://SD_ILS/0/SD_ILS:2568382024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Logic Colloquium '82 (Florence) Lolli, Gabriele, 1942- Longo, G. (Giuseppe) Marcja, A. (Annalisa)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444868763">http://www.sciencedirect.com/science/book/9780444868763</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981ent://SD_ILS/0/SD_ILS:2569552024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Southeast Asian Conference on Logic (1981 : Singapore) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444867063">http://www.sciencedirect.com/science/book/9780444867063</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979ent://SD_ILS/0/SD_ILS:2569522024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444854230">http://www.sciencedirect.com/science/book/9780444854230</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981ent://SD_ILS/0/SD_ILS:2569532024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Logic Colloquium (1981 : Marseille, France) Stern, Jacques, 1949- Herbrand, Jacques, 1908-1931.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864178">http://www.sciencedirect.com/science/book/9780444864178</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logicent://SD_ILS/0/SD_ILS:2572342024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864659">http://www.sciencedirect.com/science/book/9780444864659</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980ent://SD_ILS/0/SD_ILS:2570862024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Logic Symposion (1980 : Pátrai, Greece) Metakides, George, 1945-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864765">http://www.sciencedirect.com/science/book/9780444864765</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978ent://SD_ILS/0/SD_ILS:2572602024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444854025">http://www.sciencedirect.com/science/book/9780444854025</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundational studies selected works. Volume Ient://SD_ILS/0/SD_ILS:2573402024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851024">http://www.sciencedirect.com/science/book/9780444851024</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978ent://SD_ILS/0/SD_ILS:2572332024-09-14T07:09:45Z2024-09-14T07:09:45ZAuthor Logic Colloquium (1978 : Mons, Belgium) Boffa, Maurice. Dalen, D. van (Dirk), 1932- McAloon, Kenneth.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444853783">http://www.sciencedirect.com/science/book/9780444853783</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>