Search Results for Logic, Symbolic and mathematical. - Narrowed by: Electronic LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-09-11T13:24:08ZFormal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Propertiesent://SD_ILS/0/SD_ILS:3995662024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensionsent://SD_ILS/0/SD_ILS:4025142024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Computational Artifacts Towards a Philosophy of Computer Scienceent://SD_ILS/0/SD_ILS:4027122024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logical Foundations of Cyber-Physical Systemsent://SD_ILS/0/SD_ILS:3994992024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Commonsense reasoning an event calculus-based approachent://SD_ILS/0/SD_ILS:3554372024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Kurt Gödel Essays for his Centennialent://SD_ILS/0/SD_ILS:2362162024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>An introduction to Gödel's theoremsent://SD_ILS/0/SD_ILS:2805942024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logicism and its philosophical legacyent://SD_ILS/0/SD_ILS:2803042024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>A Logical Introduction to Proofent://SD_ILS/0/SD_ILS:3313582024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logical Foundations of Mathematics and Computational Complexity A Gentle Introductionent://SD_ILS/0/SD_ILS:3326812024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschriftent://SD_ILS/0/SD_ILS:3328222024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>The Real Numbers An Introduction to Set Theory and Analysisent://SD_ILS/0/SD_ILS:3328762024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elementsent://SD_ILS/0/SD_ILS:3359412024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Belief Revision in Non-Classical Logicsent://SD_ILS/0/SD_ILS:3309252024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Lifeent://SD_ILS/0/SD_ILS:3310262024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:3318532024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>An Invitation to Abstract Mathematicsent://SD_ILS/0/SD_ILS:3320772024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3350322024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logikent://SD_ILS/0/SD_ILS:3371152024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweisent://SD_ILS/0/SD_ILS:3382832024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logic and Structureent://SD_ILS/0/SD_ILS:3310102024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Stochastic Calculus with Infinitesimalsent://SD_ILS/0/SD_ILS:3336732024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933ent://SD_ILS/0/SD_ILS:3368502024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>The Mathematics of Paul Erdős IIent://SD_ILS/0/SD_ILS:3322432024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Proofs of the Cantor-Bernstein Theorem A Mathematical Excursionent://SD_ILS/0/SD_ILS:3326052024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>The Mathematics of Coordinated Inference A Study of Generalized Hat Problemsent://SD_ILS/0/SD_ILS:3328592024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismusent://SD_ILS/0/SD_ILS:3369682024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Non solo calcoli Domande e risposte sui perché della matematicaent://SD_ILS/0/SD_ILS:2046792024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Mathematical Olympiad Treasuresent://SD_ILS/0/SD_ILS:1683592024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>The Mathematical Experience, Study Editionent://SD_ILS/0/SD_ILS:1683732024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Mathematical Logic for Computer Scienceent://SD_ILS/0/SD_ILS:1735402024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Lecture Notes on O-Minimal Structures and Real Analytic Geometryent://SD_ILS/0/SD_ILS:1743712024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Around and Beyond the Square of Oppositionent://SD_ILS/0/SD_ILS:1767822024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Teoria algebrica dei meccanismi automaticient://SD_ILS/0/SD_ILS:1915212024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Mathematics of Discrete Structures for Computer Scienceent://SD_ILS/0/SD_ILS:1967782024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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 Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semanticsent://SD_ILS/0/SD_ILS:1971022024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Sparsity Graphs, Structures, and Algorithmsent://SD_ILS/0/SD_ILS:1962872024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>The Complexity of Valued Constraint Satisfaction Problemsent://SD_ILS/0/SD_ILS:1974502024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor Ž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/>Combinatorial Set Theory With a Gentle Introduction to Forcingent://SD_ILS/0/SD_ILS:1733792024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Peeling potatoes or grinding lenses Spinoza and young Wittgenstein converse on immanence and its logicent://SD_ILS/0/SD_ILS:2420872024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Frege's notations what they are and how they meanent://SD_ILS/0/SD_ILS:2790842024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Un mondo di idee La matematica ovunqueent://SD_ILS/0/SD_ILS:2045012024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Games, Norms and Reasons Logic at the Crossroadsent://SD_ILS/0/SD_ILS:2059242024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Advanced Łukasiewicz calculus and MV-algebrasent://SD_ILS/0/SD_ILS:2059492024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>After Gödel Platonism and rationalism in mathematics and logicent://SD_ILS/0/SD_ILS:2320292024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>The Evolution of Principia Mathematica Bertrand Russell's Manuscripts and Notes for the Second Editionent://SD_ILS/0/SD_ILS:2389532024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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 Selected Correspondence of L.E.J. Brouwerent://SD_ILS/0/SD_ILS:1685292024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Cantor und die Franzosen Mathematik, Philosophie und das Unendlicheent://SD_ILS/0/SD_ILS:1927952024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Apartness and Uniformity A Constructive Developmentent://SD_ILS/0/SD_ILS:1950192024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1955542024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wilesent://SD_ILS/0/SD_ILS:1923892024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Conditionals and Modularity in General Logicsent://SD_ILS/0/SD_ILS:1939232024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Hyperfinite Dirichlet Forms and Stochastic Processesent://SD_ILS/0/SD_ILS:1941142024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946722024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1952732024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Reading, Writing, and Proving A Closer Look at Mathematicsent://SD_ILS/0/SD_ILS:1732232024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Proof, Computation and Agency Logic at the Crossroadsent://SD_ILS/0/SD_ILS:2057412024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Strict Finitism and the Logic of Mathematical Applicationsent://SD_ILS/0/SD_ILS:2060412024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Quantifiers, Propositions and Identity Admissible Semantics for Quantified Modal and Substructural Logicsent://SD_ILS/0/SD_ILS:2363042024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophiesent://SD_ILS/0/SD_ILS:2379382024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Model Theory and Applicationsent://SD_ILS/0/SD_ILS:1915852024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technologyent://SD_ILS/0/SD_ILS:1917642024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logikent://SD_ILS/0/SD_ILS:1987712024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bellent://SD_ILS/0/SD_ILS:2057802024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Methods of Cut-Eliminationent://SD_ILS/0/SD_ILS:2058082024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Foundational Theories of Classical and Constructive Mathematicsent://SD_ILS/0/SD_ILS:2058422024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Proofs and Fundamentals A First Course in Abstract Mathematicsent://SD_ILS/0/SD_ILS:1727802024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Handbook of logic and languageent://SD_ILS/0/SD_ILS:1481462024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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 Proof is in the Pudding The Changing Nature of Mathematical Proofent://SD_ILS/0/SD_ILS:1664232024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematicsent://SD_ILS/0/SD_ILS:1672642024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>McGraw-Hill's LSATent://SD_ILS/0/SD_ILS:2940722024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Mathematical aspects of logic programming semanticsent://SD_ILS/0/SD_ILS:2851882024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>McGraw-Hill's conquering LSAT logic gamesent://SD_ILS/0/SD_ILS:2940452024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logic demystifiedent://SD_ILS/0/SD_ILS:2941152024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Kleinent://SD_ILS/0/SD_ILS:2473112024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Computational logic and human thinking how to be artificially intelligentent://SD_ILS/0/SD_ILS:2787482024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>An introduction to practical formal methods using temporal logicent://SD_ILS/0/SD_ILS:3057032024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Variaent://SD_ILS/0/SD_ILS:1884172024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Cognitive Reasoning A Formal Approachent://SD_ILS/0/SD_ILS:1856262024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermeloent://SD_ILS/0/SD_ILS:1899982024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>A Course in Mathematical Logic for Mathematiciansent://SD_ILS/0/SD_ILS:1720152024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Propositions, functions, and analysis selected essays on Russell's philosophyent://SD_ILS/0/SD_ILS:2315782024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Truth through proof a formalist foundation for mathematicsent://SD_ILS/0/SD_ILS:2332572024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logic Colloquium 2007ent://SD_ILS/0/SD_ILS:2367832024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logical Foundations of Proof Complexityent://SD_ILS/0/SD_ILS:2378342024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logical Tools for Handling Change in Agent-Based Systemsent://SD_ILS/0/SD_ILS:1909372024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logic and Philosophy of Mathematics in the Early Husserlent://SD_ILS/0/SD_ILS:2050212024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Natural Deduction, Hybrid Systems and Modal Logicsent://SD_ILS/0/SD_ILS:2053152024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>The P=NP Question and Gödel’s Lost Letterent://SD_ILS/0/SD_ILS:1727872024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Mathematische Logikent://SD_ILS/0/SD_ILS:1766982024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Cardinal Invariants on Boolean Algebrasent://SD_ILS/0/SD_ILS:1766702024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Handbook of Set Theoryent://SD_ILS/0/SD_ILS:1695902024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Roads to infinity the mathematics of truth and proofent://SD_ILS/0/SD_ILS:2898522024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Mathematical reasoning patterns, problems, conjectures, and proofsent://SD_ILS/0/SD_ILS:2656162024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logic and Integer Programmingent://SD_ILS/0/SD_ILS:1680062024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Games: Unifying Logic, Language, and Philosophyent://SD_ILS/0/SD_ILS:1705172024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Algorithmic Composition Paradigms of Automated Music Generationent://SD_ILS/0/SD_ILS:1770422024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Scienceent://SD_ILS/0/SD_ILS:1886342024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logische Grundlagen der Mathematikent://SD_ILS/0/SD_ILS:1895602024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Handbook of Weighted Automataent://SD_ILS/0/SD_ILS:1900162024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:1901092024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1902722024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Generalized Measure Theoryent://SD_ILS/0/SD_ILS:1674122024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Mathematical Olympiad Challengesent://SD_ILS/0/SD_ILS:1682242024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logicism, Intuitionism, and Formalism What has Become of Them?ent://SD_ILS/0/SD_ILS:1703802024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logic Colloquium 2006ent://SD_ILS/0/SD_ILS:2377752024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Dude, Can You Count? Stories, Challenges, and Adventures in Mathematicsent://SD_ILS/0/SD_ILS:1760012024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Proof Theory The First Step into Impredicativityent://SD_ILS/0/SD_ILS:1857832024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Introduction to Boolean Algebrasent://SD_ILS/0/SD_ILS:1665842024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creatorsent://SD_ILS/0/SD_ILS:1671882024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Scenario Logic and Probabilistic Management of Risk in Business and Engineeringent://SD_ILS/0/SD_ILS:1675412024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Teaching and learning proof across the grades a K-16 perspectiveent://SD_ILS/0/SD_ILS:2669552024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Introduction to mathematics of satisfiabilityent://SD_ILS/0/SD_ILS:2869212024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Guida alla teoria degli insiemient://SD_ILS/0/SD_ILS:2042852024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:1673202024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logic for Computer Scientistsent://SD_ILS/0/SD_ILS:1682822024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Algorithms in Invariant Theoryent://SD_ILS/0/SD_ILS:1770662024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Petri-Netzeent://SD_ILS/0/SD_ILS:1877452024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgenent://SD_ILS/0/SD_ILS:1884162024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Applied Proof Theory: Proof Interpretations and Their Use in Mathematicsent://SD_ILS/0/SD_ILS:1879032024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Completeness Theory for Propositional Logicsent://SD_ILS/0/SD_ILS:1980802024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Institution-independent Model Theoryent://SD_ILS/0/SD_ILS:1981252024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Combinatorics and Graph Theoryent://SD_ILS/0/SD_ILS:1676862024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Constructive Negations and Paraconsistencyent://SD_ILS/0/SD_ILS:1699722024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>New essays on Tarski and philosophyent://SD_ILS/0/SD_ILS:2310672024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Mathematics, Models, and Modality Selected Philosophical Essaysent://SD_ILS/0/SD_ILS:2353692024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologieent://SD_ILS/0/SD_ILS:1876882024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Solerent://SD_ILS/0/SD_ILS:1702362024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Theoretische Informatik Eine umfassende Einführungent://SD_ILS/0/SD_ILS:1875752024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Field Arithmeticent://SD_ILS/0/SD_ILS:1878262024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>New Computational Paradigms Changing Conceptions of What is Computableent://SD_ILS/0/SD_ILS:1665942024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Information and Knowledge A Constructive Type-theoretical Approachent://SD_ILS/0/SD_ILS:1697112024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systemsent://SD_ILS/0/SD_ILS:1699392024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Mathematical logicent://SD_ILS/0/SD_ILS:3030992024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logic Colloquium 2005ent://SD_ILS/0/SD_ILS:2366312024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Number Theory An Introduction via the Distribution of Primesent://SD_ILS/0/SD_ILS:1681862024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>The Strength of Nonstandard Analysisent://SD_ILS/0/SD_ILS:1769662024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgenent://SD_ILS/0/SD_ILS:1848422024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Finite Model Theory and Its Applicationsent://SD_ILS/0/SD_ILS:1855932024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Handbook of Spatial Logicsent://SD_ILS/0/SD_ILS:1524042024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>104 Number Theory Problems From the Training of the USA IMO Teament://SD_ILS/0/SD_ILS:1681992024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Kolmogorov’s Heritage in Mathematicsent://SD_ILS/0/SD_ILS:1843742024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Ernst Zermelo An Approach to His Life and Workent://SD_ILS/0/SD_ILS:1852262024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>The Arché Papers on the Mathematics of Abstractionent://SD_ILS/0/SD_ILS:1522542024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Passione per Trilli Alcune idee dalla matematicaent://SD_ILS/0/SD_ILS:1526312024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebraent://SD_ILS/0/SD_ILS:1661152024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Mathematical Problems from Applied Logic II Logics for the XXIst Centuryent://SD_ILS/0/SD_ILS:1667112024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Tracking reason proof, consequence, and truthent://SD_ILS/0/SD_ILS:2313522024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Finite Model Theoryent://SD_ILS/0/SD_ILS:1818572024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Théorie des ensemblesent://SD_ILS/0/SD_ILS:1839152024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Axiom of Choiceent://SD_ILS/0/SD_ILS:1839832024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor É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/>Mathematical Problems from Applied Logic I Logics for the XXIst Centuryent://SD_ILS/0/SD_ILS:1657822024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:1660202024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>The Congruences of a Finite Lattice A Proof-by-Picture Approachent://SD_ILS/0/SD_ILS:1681482024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Parameterized Complexity Theoryent://SD_ILS/0/SD_ILS:1821972024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theoryent://SD_ILS/0/SD_ILS:1843382024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004ent://SD_ILS/0/SD_ILS:1979742024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Problems and Theorems in Classical Set Theoryent://SD_ILS/0/SD_ILS:1661392024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>18 Unconventional Essays on the Nature of Mathematicsent://SD_ILS/0/SD_ILS:1656772024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Notes on Set Theoryent://SD_ILS/0/SD_ILS:1658252024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Techniques of Constructive Analysisent://SD_ILS/0/SD_ILS:1662282024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Mathematics and common sense a case of creative tensionent://SD_ILS/0/SD_ILS:2898482024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Commonsense reasoningent://SD_ILS/0/SD_ILS:2537762024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Theorems, corollaries, lemmas, and methods of proofent://SD_ILS/0/SD_ILS:3030912024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Phenomenology, Logic, and the Philosophy of Mathematicsent://SD_ILS/0/SD_ILS:2370472024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>A Modern Perspective on Type Theory From its Origins until Todayent://SD_ILS/0/SD_ILS:1686932024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Scenario Logic and Probabilistic Management of Risk in Business and Engineeringent://SD_ILS/0/SD_ILS:1687822024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Visualization, Explanation and Reasoning Styles in Mathematicsent://SD_ILS/0/SD_ILS:1688742024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Field Arithmeticent://SD_ILS/0/SD_ILS:1811002024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Categories for Software Engineeringent://SD_ILS/0/SD_ILS:1810672024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Trends in Continuum Mechanics of Porous Mediaent://SD_ILS/0/SD_ILS:1688212024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Rippling: Meta-Level Guidance for Mathematical Reasoningent://SD_ILS/0/SD_ILS:2382012024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Valued Fieldsent://SD_ILS/0/SD_ILS:1822422024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logica Universalis Towards a General Theory of Logicent://SD_ILS/0/SD_ILS:1978382024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Laws of Natureent://SD_ILS/0/SD_ILS:1525642024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Propositional and Predicate Calculus A Model of Argumentent://SD_ILS/0/SD_ILS:1753282024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Introduction to Modern Number Theory Fundamental Problems, Ideas and Theoriesent://SD_ILS/0/SD_ILS:1815402024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Essays in Constructive Mathematicsent://SD_ILS/0/SD_ILS:1653372024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Adapting Proofs-as-Programs The Curry-Howard Protocolent://SD_ILS/0/SD_ILS:1654862024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logically determined design clockless system design with NULL convention logicent://SD_ILS/0/SD_ILS:3016452024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Linear Logic in Computer Scienceent://SD_ILS/0/SD_ILS:2377362024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>The logic of knowledge basesent://SD_ILS/0/SD_ILS:2199652024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logic-based methods for optimization combining optimization and constraint satisfactionent://SD_ILS/0/SD_ILS:3002962024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>From Peirce to Skolem a neglected chapter in the history of logicent://SD_ILS/0/SD_ILS:2565622024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Learning to reason an introduction to logic, sets and relationsent://SD_ILS/0/SD_ILS:3003572024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Optimization methods for logical inferenceent://SD_ILS/0/SD_ILS:3003052024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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 '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987ent://SD_ILS/0/SD_ILS:2570892024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Computability, complexity, logicent://SD_ILS/0/SD_ILS:2571732024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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 Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988ent://SD_ILS/0/SD_ILS:2569582024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logic-based decision support mixed integer model formulationent://SD_ILS/0/SD_ILS:2567822024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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 '85 proceedings of the colloquium held in Orsay, France July 1985ent://SD_ILS/0/SD_ILS:2572462024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981ent://SD_ILS/0/SD_ILS:2569532024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980ent://SD_ILS/0/SD_ILS:2570862024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logicent://SD_ILS/0/SD_ILS:2572342024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>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-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978ent://SD_ILS/0/SD_ILS:2572332024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor 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/>Foundational studies selected works. Volume IIent://SD_ILS/0/SD_ILS:2572612024-09-11T13:24:08Z2024-09-11T13:24:08ZAuthor Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851031">http://www.sciencedirect.com/science/book/9780444851031</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>