Search Results for Logic, symbolic and mathematical.

The foundations of mathematics : and other logical essays

2024-11-05T08:26:32Z

Author Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.
Preferred Shelf Number QA 9 R23 1931
Format: Books
Availability Beytepe Library~1

The nature of mathematics : a critical survey

2024-11-05T08:26:32Z

Author Black, Max, 1909-
Preferred Shelf Number QA 9 B62 1933 (SET)
Format: Books
Availability Beytepe Library~1

Mathematical logic : A course with exercises

2024-11-05T08:26:32Z

Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number QA 9 C742513 2000 PT.1
Format: Books
Availability Beytepe Library~2

The logical syntax of language

2024-11-05T08:26:32Z

Author Carnap, Rudolf, 1891-1970.
Preferred Shelf Number BC 135 C323 1937 P (SET)
Format: Books
Availability Beytepe Library~1

The limits of science : outline of logic and of the methodology of the exact sciences

2024-11-05T08:26:32Z

Author Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-
Preferred Shelf Number Q 175 C494 1948 A (SET)
Format: Books
Availability Beytepe Library~1

An examination of logical positivism

2024-11-05T08:26:32Z

Author Weinberg, Julius Rudolf, 1908-
Preferred Shelf Number B 824.6 W434 1936 (SET)
Format: Books
Availability Beytepe Library~1

Logical Foundations of Cyber-Physical Systems

2024-11-05T08:26:32Z

Author Platzer, André. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63588-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size

2024-11-05T08:26:32Z

Author Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89653-3
Format: Electronic Resources
Availability Online Library~1

An Introduction to the Technique of Formative Processes in Set Theory

2024-11-05T08:26:32Z

Author Cantone, Domenico. author. Ursino, Pietro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74778-1
Format: Electronic Resources
Availability Online Library~1

Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensions

2024-11-05T08:26:32Z

Author Buscema, Paolo Massimo. author. Massini, Giulia. author. Breda, Marco. author. Lodwick, Weldon A. author. Newman, Francis. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75049-1
Format: Electronic Resources
Availability Online Library~1

Computational Artifacts Towards a Philosophy of Computer Science

2024-11-05T08:26:32Z

Author Turner, Raymond. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-55565-1
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties

2024-11-05T08:26:32Z

Author Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89650-2
Format: Electronic Resources
Availability Online Library~1

Logics for Computer Science Classical and Non-Classical

2024-11-05T08:26:32Z

Author Wasilewska, Anita. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92591-2
Format: Electronic Resources
Availability Online Library~1

Handbook of Model Checking

2024-11-05T08:26:32Z

Author Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10575-8
Format: Electronic Resources
Availability Online Library~1

A concise introduction to pure mathematics

2024-11-05T08:26:32Z

Author Liebeck, M. W. (Martin W.), 1954-
Preferred Shelf Number QA9 L478 2016
Format: Books
Availability Beytepe Library~1

Introduction to mathematical logic

2024-11-05T08:26:32Z

Author Mendelson, Elliott.
Preferred Shelf Number QA9 M4 2015
Format: Books
Availability Beytepe Library~1

Logic and discrete mathematics : a concise introduction

2024-11-05T08:26:32Z

Author Conradie, Willem, 1978- author. Goranko, Valentin, author.
Preferred Shelf Number QA9 C7423 2015
Format: Books
Availability Beytepe Library~1

Formal logic, or, The calculus of inference, necessary and probable

2024-11-05T08:26:32Z

Author De Morgan, Augustus, 1806-1871, author.
Preferred Shelf Number BC135 D4 2014
Format: Books
Availability Beytepe Library~1

Commonsense reasoning an event calculus-based approach

2024-11-05T08:26:32Z

Author Mueller, Erik T., author.
Preferred Shelf Number ONLINE(355437.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128014165
Format: Electronic Resources
Availability Online Library~1

Kurt Gödel Essays for his Centennial

2024-11-05T08:26:32Z

Author Feferman, Solomon. Parsons, Charles. Simpson, Stephen G..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

A transition to mathematics with proofs

2024-11-05T08:26:32Z

Author Cullinane, Michael J.
Preferred Shelf Number QA9 C84 2013
Format: Books
Availability Beytepe Library~1

Discrete mathematics and its applications

2024-11-05T08:26:32Z

Author Rosen, Kenneth H. Krithivasan, Kamala.
Preferred Shelf Number QA39.3 R674 2013
Format: Books
Availability Beytepe Library~2

Logicism and its philosophical legacy

2024-11-05T08:26:32Z

Author Demopoulos, William.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=508286
Format: Electronic Resources
Availability Online Library~1

An introduction to Gödel's theorems

2024-11-05T08:26:32Z

Author Smith, Peter, 1944- author.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=533820
Format: Electronic Resources
Availability Online Library~1

After Gödel : Platonism and rationalism in mathematics and logic

2024-11-05T08:26:32Z

Author Tieszen, Richard L., author.
Preferred Shelf Number QA9 T54 2013
Format: Books
Availability Beytepe Library~1

Önermeler mantığı

2024-11-05T08:26:32Z

Author Nesin, Ali.
Preferred Shelf Number QA270 N476 2013
Format: Books
Availability Beytepe Library~3

Belief Revision in Non-Classical Logics

2024-11-05T08:26:32Z

Author Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330925.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: Electronic Resources
Availability Online Library~1

From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz

2024-11-05T08:26:32Z

Author Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330942.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: Electronic Resources
Availability Online Library~1

A Course on Mathematical Logic

2024-11-05T08:26:32Z

Author Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331853.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5746-6
Format: Electronic Resources
Availability Online Library~1

An Invitation to Abstract Mathematics

2024-11-05T08:26:32Z

Author Bajnok, Béla. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332077.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6636-9
Format: Electronic Resources
Availability Online Library~1

The Mathematics of Paul Erdős II

2024-11-05T08:26:32Z

Author Graham, Ronald L. editor. Nešetřil, Jaroslav. editor. Butler, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332243.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7254-4
Format: Electronic Resources
Availability Online Library~1

Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion

2024-11-05T08:26:32Z

Author Hinkis, Arie. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332605.1)
Electronic Access http://dx.doi.org/10.1007/978-3-0348-0224-6
Format: Electronic Resources
Availability Online Library~1

Visual Reasoning with Diagrams

2024-11-05T08:26:32Z

Author Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332637.1)
Electronic Access http://dx.doi.org/10.1007/978-3-0348-0600-8
Format: Electronic Resources
Availability Online Library~1

Towards a General Theory of Classifications

2024-11-05T08:26:32Z

Author Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332639.1)
Electronic Access http://dx.doi.org/10.1007/978-3-0348-0609-1
Format: Electronic Resources
Availability Online Library~1

The Mathematics of Coordinated Inference A Study of Generalized Hat Problems

2024-11-05T08:26:32Z

Author Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332859.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01333-6
Format: Electronic Resources
Availability Online Library~1

On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2

2024-11-05T08:26:32Z

Author Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334018.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35644-5
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

2024-11-05T08:26:32Z

Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334038.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35722-0
Format: Electronic Resources
Availability Online Library~1

The Argument of Mathematics

2024-11-05T08:26:32Z

Author Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336263.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-6534-4
Format: Electronic Resources
Availability Online Library~1

An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus

2024-11-05T08:26:32Z

Author Tapp, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336968.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29654-3
Format: Electronic Resources
Availability Online Library~1

Stochastic Calculus with Infinitesimals

2024-11-05T08:26:32Z

Author Herzberg, Frederik. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333673.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33149-7
Format: Electronic Resources
Availability Online Library~1

Cylindric-like Algebras and Algebraic Logic

2024-11-05T08:26:32Z

Author Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333922.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35025-2
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

2024-11-05T08:26:32Z

Author Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334465.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37635-1
Format: Electronic Resources
Availability Online Library~1

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

2024-11-05T08:26:32Z

Author Hasegawa, Masahito. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334702.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38946-7
Format: Electronic Resources
Availability Online Library~1

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

2024-11-05T08:26:32Z

Author Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334718.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39053-1
Format: Electronic Resources
Availability Online Library~1

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

2024-11-05T08:26:32Z

Author Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336850.1)
Electronic Access http://dx.doi.org/10.1007/978-3-540-69444-1
Format: Electronic Resources
Availability Online Library~1

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. Zeidler

2024-11-05T08:26:32Z

Author Zeidler, Eberhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337476.1)
Electronic Access http://dx.doi.org/10.1007/978-3-658-00297-8
Format: Electronic Resources
Availability Online Library~1

Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis

2024-11-05T08:26:32Z

Author Hoffmann, Dirk W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(338283.1)
Electronic Access http://dx.doi.org/10.1007/978-3-8274-3000-7
Format: Electronic Resources
Availability Online Library~1

Logic and Structure

2024-11-05T08:26:32Z

Author Dalen, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331010.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4558-5
Format: Electronic Resources
Availability Online Library~1

L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life

2024-11-05T08:26:32Z

Author Dalen, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331026.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4616-2
Format: Electronic Resources
Availability Online Library~1

A Logical Introduction to Proof

2024-11-05T08:26:32Z

Author Cunningham, Daniel W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331358.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3631-7
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

2024-11-05T08:26:32Z

Author Pudlák, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332681.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00119-7
Format: Electronic Resources
Availability Online Library~1

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

2024-11-05T08:26:32Z

Author Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332822.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00966-7
Format: Electronic Resources
Availability Online Library~1

The Real Numbers An Introduction to Set Theory and Analysis

2024-11-05T08:26:32Z

Author Stillwell, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332876.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01577-4
Format: Electronic Resources
Availability Online Library~1

Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik

2024-11-05T08:26:32Z

Author Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333036.1)
Electronic Access http://dx.doi.org/10.1007/978-3-540-70856-8
Format: Electronic Resources
Availability Online Library~1

Mathematics of Fuzzy Sets and Fuzzy Logic

2024-11-05T08:26:32Z

Author Bede, Barnabas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333950.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35221-8
Format: Electronic Resources
Availability Online Library~1

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

2024-11-05T08:26:32Z

Author Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335032.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40948-6
Format: Electronic Resources
Availability Online Library~1

Reactive Kripke Semantics

2024-11-05T08:26:32Z

Author Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335100.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41389-6
Format: Electronic Resources
Availability Online Library~1

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

2024-11-05T08:26:32Z

Author Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335941.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-5301-3
Format: Electronic Resources
Availability Online Library~1

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

2024-11-05T08:26:32Z

Author Hoffmann, Dirk W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337115.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34720-7
Format: Electronic Resources
Availability Online Library~1

Peeling potatoes or grinding lenses Spinoza and young Wittgenstein converse on immanence and its logic

2024-11-05T08:26:32Z

Author Baltas, Aristeidēs. Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Sparsity Graphs, Structures, and Algorithms

2024-11-05T08:26:32Z

Author Nešetřil, Jaroslav. author. Ossona de Mendez, Patrice. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27875-4
Format: Electronic Resources
Availability Online Library~1

Mathematics of Discrete Structures for Computer Science

2024-11-05T08:26:32Z

Author Pace, Gordon J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29840-0
Format: Electronic Resources
Availability Online Library~1

How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

2024-11-05T08:26:32Z

Author Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30870-3
Format: Electronic Resources
Availability Online Library~1

Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

2024-11-05T08:26:32Z

Author Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31485-8
Format: Electronic Resources
Availability Online Library~1

The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics

2024-11-05T08:26:32Z

Author Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31555-8
Format: Electronic Resources
Availability Online Library~1

The Complexity of Valued Constraint Satisfaction Problems

2024-11-05T08:26:32Z

Author Živný, Stanislav. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33974-5
Format: Electronic Resources
Availability Online Library~1

Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf

2024-11-05T08:26:32Z

Author Dybjer, P. editor. Lindström, Sten. editor. Palmgren, Erik. editor. Sundholm, G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-4435-6
Format: Electronic Resources
Availability Online Library~1

Combinatorial Set Theory With a Gentle Introduction to Forcing

2024-11-05T08:26:32Z

Author Halbeisen, Lorenz J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2173-2
Format: Electronic Resources
Availability Online Library~1

Mathematical Logic for Computer Science

2024-11-05T08:26:32Z

Author Ben-Ari, Mordechai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4129-7
Format: Electronic Resources
Availability Online Library~1

Lecture Notes on O-Minimal Structures and Real Analytic Geometry

2024-11-05T08:26:32Z

Author Miller, Chris. editor. Rolin, Jean-Philippe. editor. Speissegger, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4042-0
Format: Electronic Resources
Availability Online Library~1

Introduction to Mathematical Structures and Proofs

2024-11-05T08:26:32Z

Author Gerstein, Larry J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4265-3
Format: Electronic Resources
Availability Online Library~1

Around and Beyond the Square of Opposition

2024-11-05T08:26:32Z

Author Béziau, Jean-Yves. editor. Jacquette, Dale. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-0348-0379-3
Format: Electronic Resources
Availability Online Library~1

Teoria algebrica dei meccanismi automatici

2024-11-05T08:26:32Z

Author Righi, R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10932-4
Format: Electronic Resources
Availability Online Library~1

Foundations of Algebraic Specification and Formal Software Development

2024-11-05T08:26:32Z

Author Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17336-3
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

2024-11-05T08:26:32Z

Author Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28412-0
Format: Electronic Resources
Availability Online Library~1

On Intuitionistic Fuzzy Sets Theory

2024-11-05T08:26:32Z

Author Atanassov, Krassimir T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29127-2
Format: Electronic Resources
Availability Online Library~1

Frege's notations what they are and how they mean

2024-11-05T08:26:32Z

Author Landini, Gregory. Palgrave Connect (Online service)
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=433320
Format: Electronic Resources
Availability Online Library~1

Logic: A Brief Course

2024-11-05T08:26:32Z

Author Mundici, Daniele. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-88-470-2361-1
Format: Electronic Resources
Availability Online Library~1

Non solo calcoli Domande e risposte sui perché della matematica

2024-11-05T08:26:32Z

Author Villani, Vinicio. author. Bernardi, Claudio. author. Zoccante, Sergio. author. Porcaro, Roberto. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-88-470-2610-0
Format: Electronic Resources
Availability Online Library~1

Truth and Falsehood An Inquiry into Generalized Logical Values

2024-11-05T08:26:32Z

Author Shramko, Yaroslav. author. Wansing, Heinrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0907-2
Format: Electronic Resources
Availability Online Library~1

The foundations of mathematics

2024-11-05T08:26:32Z

Author Kunen, Kenneth.
Preferred Shelf Number QA9 K796 2012
Format: Books
Availability Beytepe Library~1

Mathematical Olympiad Treasures

2024-11-05T08:26:32Z

Author Andreescu, Titu. author. Enescu, Bogdan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-8253-8
Format: Electronic Resources
Availability Online Library~1

Excursions in the History of Mathematics

2024-11-05T08:26:32Z

Author Kleiner, Israel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-8268-2
Format: Electronic Resources
Availability Online Library~1

A Beginner's Guide to Discrete Mathematics

2024-11-05T08:26:32Z

Author Wallis, W.D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-8286-6
Format: Electronic Resources
Availability Online Library~1

The Mathematical Experience, Study Edition

2024-11-05T08:26:32Z

Author Davis, Philip J. author. Hersh, Reuben. author. Marchisotto, Elena Anne. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-8295-8
Format: Electronic Resources
Availability Online Library~1

A Beginner's Guide to Finite Mathematics For Business, Management, and the Social Sciences

2024-11-05T08:26:32Z

Author Wallis, W.D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-8319-1
Format: Electronic Resources
Availability Online Library~1

Quantifiers, Propositions and Identity Admissible Semantics for Quantified Modal and Substructural Logics

2024-11-05T08:26:32Z

Author Goldblatt, Robert.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Logical Dynamics of Information and Interaction

2024-11-05T08:26:32Z

Author van Benthem, Johan.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

The Evolution of Principia Mathematica Bertrand Russell's Manuscripts and Notes for the Second Edition

2024-11-05T08:26:32Z

Author Linsky, Bernard.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein

2024-11-05T08:26:32Z

Author Hopkins, Burt C. Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

McGraw-Hill's conquering LSAT logic games

2024-11-05T08:26:32Z

Author Curvebreakers.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Model Theory and Applications

2024-11-05T08:26:32Z

Author Mangani, P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11121-1
Format: Electronic Resources
Availability Online Library~1

From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology

2024-11-05T08:26:32Z

Author Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11682-7
Format: Electronic Resources
Availability Online Library~1

Cantor und die Franzosen Mathematik, Philosophie und das Unendliche

2024-11-05T08:26:32Z

Author Décaillot, Anne-Marie. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14869-9
Format: Electronic Resources
Availability Online Library~1

Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

2024-11-05T08:26:32Z

Author Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21691-6
Format: Electronic Resources
Availability Online Library~1

From Objects to Diagrams for Ranges of Functors

2024-11-05T08:26:32Z

Author Gillibert, Pierre. author. Wehrung, Friedrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21774-6
Format: Electronic Resources
Availability Online Library~1

Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings

2024-11-05T08:26:32Z

Author Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21875-0
Format: Electronic Resources
Availability Online Library~1

Apartness and Uniformity A Constructive Development

2024-11-05T08:26:32Z

Author Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22415-7
Format: Electronic Resources
Availability Online Library~1

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

2024-11-05T08:26:32Z

Author Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24130-7
Format: Electronic Resources
Availability Online Library~1

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

2024-11-05T08:26:32Z

Author Hoffmann, Dirk W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8274-2560-7
Format: Electronic Resources
Availability Online Library~1

Un mondo di idee La matematica ovunque

2024-11-05T08:26:32Z

Author Ciliberto, Ciro. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-88-470-1744-3
Format: Electronic Resources
Availability Online Library~1

Hybrid Logic and its Proof-Theory

2024-11-05T08:26:32Z

Author Braüner, Torben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0002-4
Format: Electronic Resources
Availability Online Library~1

Dual Tableaux: Foundations, Methodology, Case Studies

2024-11-05T08:26:32Z

Author Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0005-5
Format: Electronic Resources
Availability Online Library~1

Treatise on Intuitionistic Type Theory

2024-11-05T08:26:32Z

Author Granström, Johan Georg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1736-7
Format: Electronic Resources
Availability Online Library~1

The Selected Correspondence of L.E.J. Brouwer

2024-11-05T08:26:32Z

Author Dalen, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-537-8
Format: Electronic Resources
Availability Online Library~1

Recursion Theory and Computational Complexity

2024-11-05T08:26:32Z

Author Lolli, G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11072-6
Format: Electronic Resources
Availability Online Library~1

Aspects of Mathematical Logic

2024-11-05T08:26:32Z

Author Casari, E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11080-1
Format: Electronic Resources
Availability Online Library~1

Hyperfinite Dirichlet Forms and Stochastic Processes

2024-11-05T08:26:32Z

Author Albeverio, Sergio. author. Fan, Ruzong. author. Herzberg, Frederik. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19659-1
Format: Electronic Resources
Availability Online Library~1

Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings

2024-11-05T08:26:32Z

Author Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21350-2
Format: Electronic Resources
Availability Online Library~1

Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles

2024-11-05T08:26:32Z

Author Bartocci, Claudio. editor. Betti, Renato. editor. Guerraggio, Angelo. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13606-1
Format: Electronic Resources
Availability Online Library~1

Conditionals and Modularity in General Logics

2024-11-05T08:26:32Z

Author Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19068-1
Format: Electronic Resources
Availability Online Library~1

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions

2024-11-05T08:26:32Z

Author Kaiser, Łukasz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22807-0
Format: Electronic Resources
Availability Online Library~1

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

2024-11-05T08:26:32Z

Author Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23211-4
Format: Electronic Resources
Availability Online Library~1

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,2008

2024-11-05T08:26:32Z

Author Skof, Fulvia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-88-470-1836-5
Format: Electronic Resources
Availability Online Library~1

Logica: Metodo Breve

2024-11-05T08:26:32Z

Author Mundici, Daniele. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-88-470-1884-6
Format: Electronic Resources
Availability Online Library~1

Strict Finitism and the Logic of Mathematical Applications

2024-11-05T08:26:32Z

Author Ye, Feng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1347-5
Format: Electronic Resources
Availability Online Library~1

Computational logic and human thinking how to be artificially intelligent

2024-11-05T08:26:32Z

Author Kowalski, Robert.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375916
Format: Electronic Resources
Availability Online Library~1

Mathematical aspects of logic programming semantics

2024-11-05T08:26:32Z

Author Hitzler, Pascal. Seda, Anthony.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Proof, Computation and Agency Logic at the Crossroads

2024-11-05T08:26:32Z

Author van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0080-2
Format: Electronic Resources
Availability Online Library~1

Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell

2024-11-05T08:26:32Z

Author DeVidi, David. editor. Hallett, Michael. editor. Clarke, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0214-1
Format: Electronic Resources
Availability Online Library~1

Methods of Cut-Elimination

2024-11-05T08:26:32Z

Author Leitsch, Alexander. author. Baaz, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0320-9
Format: Electronic Resources
Availability Online Library~1

Foundational Theories of Classical and Constructive Mathematics

2024-11-05T08:26:32Z

Author Sommaruga, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0431-2
Format: Electronic Resources
Availability Online Library~1

Games, Norms and Reasons Logic at the Crossroads

2024-11-05T08:26:32Z

Author van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0714-6
Format: Electronic Resources
Availability Online Library~1

Advanced Łukasiewicz calculus and MV-algebras

2024-11-05T08:26:32Z

Author Mundici, D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0840-2
Format: Electronic Resources
Availability Online Library~1

After Gödel Platonism and rationalism in mathematics and logic

2024-11-05T08:26:32Z

Author Tieszen, Richard L.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199606207.001.0001
Format: Electronic Resources
Availability Online Library~1

Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies

2024-11-05T08:26:32Z

Author Kennedy, Juliette. Kossak, Roman.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

An introduction to practical formal methods using temporal logic

2024-11-05T08:26:32Z

Author Fisher, Michael, 1962-
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9781119991472 http://proquest.safaribooksonline.com/?fpi=9780470027882 Books24x7 http://www.books24x7.com/marc.asp?bookid=46822 http://proquest.safaribooksonline.com/9780470027882 Volltext http://proquest.tech.safaribooksonline.de/9780470027882
Format: Electronic Resources
Availability Online Library~1

McGraw-Hill's LSAT

2024-11-05T08:26:32Z

Author Curvebreakers.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Logic demystified

2024-11-05T08:26:32Z

Author Boutelle, Anthony. Gibilisco, Stan.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Handbook of logic and language

2024-11-05T08:26:32Z

Author Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444537263
Format: Electronic Resources
Availability Online Library~1

The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematics

2024-11-05T08:26:32Z

Author Soifer, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-75472-7
Format: Electronic Resources
Availability Online Library~1

The Proof is in the Pudding The Changing Nature of Mathematical Proof

2024-11-05T08:26:32Z

Author Krantz, Steven G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-48744-1
Format: Electronic Resources
Availability Online Library~1

Proofs and Fundamentals A First Course in Abstract Mathematics

2024-11-05T08:26:32Z

Author Bloch, Ethan D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7127-2
Format: Electronic Resources
Availability Online Library~1

Reading, Writing, and Proving A Closer Look at Mathematics

2024-11-05T08:26:32Z

Author Daepp, Ulrich. author. Gorkin, Pamela. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9479-0
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Proof Complexity

2024-11-05T08:26:32Z

Author Cook, Stephen. Nguyen, Phuong.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Discrete structures, logic, and computability

2024-11-05T08:26:32Z

Author Hein, James L.
Preferred Shelf Number QA76.9.M35 H44 2010
Format: Books
Availability Beytepe Library~1

Banach Spaces and Descriptive Set Theory: Selected Topics

2024-11-05T08:26:32Z

Author Dodos, Pandelis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12153-1
Format: Electronic Resources
Availability Online Library~1

Mathematical Logic Foundations for Information Science

2024-11-05T08:26:32Z

Author Li, Wei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-9977-1
Format: Electronic Resources
Availability Online Library~1

Truth through proof a formalist foundation for mathematics

2024-11-05T08:26:32Z

Author Weir, Alan.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001
Format: Electronic Resources
Availability Online Library~1

Mathematische Logik

2024-11-05T08:26:32Z

Author Ziegler, Martin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-0346-0652-3
Format: Electronic Resources
Availability Online Library~1

Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo

2024-11-05T08:26:32Z

Author Deiser, Oliver. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01445-1
Format: Electronic Resources
Availability Online Library~1

Cognitive Reasoning A Formal Approach

2024-11-05T08:26:32Z

Author Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68875-4
Format: Electronic Resources
Availability Online Library~1

Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia

2024-11-05T08:26:32Z

Author Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79384-7
Format: Electronic Resources
Availability Online Library~1

Logical Tools for Handling Change in Agent-Based Systems

2024-11-05T08:26:32Z

Author Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04407-6
Format: Electronic Resources
Availability Online Library~1

Natural Deduction, Hybrid Systems and Modal Logics

2024-11-05T08:26:32Z

Author Indrzejczak, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-8785-0
Format: Electronic Resources
Availability Online Library~1

Mathematical reasoning patterns, problems, conjectures, and proofs

2024-11-05T08:26:32Z

Author Nickerson, Raymond S.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Roads to infinity the mathematics of truth and proof

2024-11-05T08:26:32Z

Author Stillwell, John.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Logic and Philosophy of Mathematics in the Early Husserl

2024-11-05T08:26:32Z

Author Centrone, Stefania. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3246-1
Format: Electronic Resources
Availability Online Library~1

Propositions, functions, and analysis selected essays on Russell's philosophy

2024-11-05T08:26:32Z

Author Hylton, Peter.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199286355.001.0001
Format: Electronic Resources
Availability Online Library~1

A Framework for Priority Arguments

2024-11-05T08:26:32Z

Author Lerman, Manuel.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium 2007

2024-11-05T08:26:32Z

Author Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson

2024-11-05T08:26:32Z

Author Chudnovsky, David. editor. Chudnovsky, Gregory. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-68361-4
Format: Electronic Resources
Availability Online Library~1

Handbook of Set Theory

2024-11-05T08:26:32Z

Author Foreman, Matthew. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5764-9
Format: Electronic Resources
Availability Online Library~1

Teaching mathematical reasoning in secondary school classrooms

2024-11-05T08:26:32Z

Author Brodie, Karin. Coetzee, Kurt.
Preferred Shelf Number QA8.7 B76 2010
Format: Books
Availability Beytepe Library~1

A Course in Mathematical Logic for Mathematicians

2024-11-05T08:26:32Z

Author Manin, Yu. I. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0615-1
Format: Electronic Resources
Availability Online Library~1

A Concise Introduction to Mathematical Logic

2024-11-05T08:26:32Z

Author Rautenberg, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-1221-3
Format: Electronic Resources
Availability Online Library~1

The P=NP Question and Gödel’s Lost Letter

2024-11-05T08:26:32Z

Author Lipton, Richard J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7155-5
Format: Electronic Resources
Availability Online Library~1

Cardinal Invariants on Boolean Algebras

2024-11-05T08:26:32Z

Author Monk, J. Donald. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-0346-0334-8
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium 2006

2024-11-05T08:26:32Z

Author Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Introduction to mathematics of satisfiability

2024-11-05T08:26:32Z

Author Marek, V. W. (V. Wiktor), 1943-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Science

2024-11-05T08:26:32Z

Author Atmanspacher, Harald. editor. Primas, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85198-1
Format: Electronic Resources
Availability Online Library~1

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

2024-11-05T08:26:32Z

Author Curien, Pierre-Louis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02273-9
Format: Electronic Resources
Availability Online Library~1

Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings

2024-11-05T08:26:32Z

Author Treinen, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02348-4
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

2024-11-05T08:26:32Z

Author Corradini, Andrea. editor. Montanari, Ugo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03429-9
Format: Electronic Resources
Availability Online Library~1

Generalized Measure Theory

2024-11-05T08:26:32Z

Author Wang, Zhenyuan. author. Klir, George J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-76852-6
Format: Electronic Resources
Availability Online Library~1

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

2024-11-05T08:26:32Z

Author Solojentsev, Evgueni D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-77946-1
Format: Electronic Resources
Availability Online Library~1

Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics

2024-11-05T08:26:32Z

Author Constanda, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-539-0
Format: Electronic Resources
Availability Online Library~1

Proof Theory The First Step into Impredicativity

2024-11-05T08:26:32Z

Author Pohlers, Wolfram. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69319-2
Format: Electronic Resources
Availability Online Library~1

Logische Grundlagen der Mathematik

2024-11-05T08:26:32Z

Author Schindler, Ralf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-95932-8
Format: Electronic Resources
Availability Online Library~1

Handbook of Weighted Automata

2024-11-05T08:26:32Z

Author Droste, Manfred. editor. Kuich, Werner. editor. Vogler, Heiko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01492-5
Format: Electronic Resources
Availability Online Library~1

Ultimate Explanations of the Universe

2024-11-05T08:26:32Z

Author Heller, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02103-9
Format: Electronic Resources
Availability Online Library~1

Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings

2024-11-05T08:26:32Z

Author Wen, Peng. editor. Li, Yuefeng. editor. Polkowski, Lech. editor. Yao, Yiyu. editor. Tsumoto, Shusaku. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02962-2
Format: Electronic Resources
Availability Online Library~1

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings

2024-11-05T08:26:32Z

Author He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04893-7
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

2024-11-05T08:26:32Z

Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92687-0
Format: Electronic Resources
Availability Online Library~1

Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information

2024-11-05T08:26:32Z

Author Sommaruga, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00659-3
Format: Electronic Resources
Availability Online Library~1

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

2024-11-05T08:26:32Z

Author Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01748-3
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

2024-11-05T08:26:32Z

Author Grädel, Erich. editor. Kahle, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04027-6
Format: Electronic Resources
Availability Online Library~1

Teaching and learning proof across the grades a K-16 perspective

2024-11-05T08:26:32Z

Author Stylianou, Despina A. Blanton, Maria L. Knuth, Eric J. National Council of Teachers of Mathematics.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Logical labyrinths

2024-11-05T08:26:32Z

Author Smullyan, Raymond M.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Games, puzzles, and computation

2024-11-05T08:26:32Z

Author Hearn, Robert A. Demaine, Erik D., 1981-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Introduction to Boolean Algebras

2024-11-05T08:26:32Z

Author Halmos, Paul. author. Givant, Steven. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-68436-9
Format: Electronic Resources
Availability Online Library~1

The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators

2024-11-05T08:26:32Z

Author Soifer, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-74642-5
Format: Electronic Resources
Availability Online Library~1

A Missing Link in Cybernetics Logic and Continuity

2024-11-05T08:26:32Z

Author Andrew, Alex M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-75164-1
Format: Electronic Resources
Availability Online Library~1

Mathematical Olympiad Challenges

2024-11-05T08:26:32Z

Author Andreescu, Titu. author. Gelca, Răzvan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4611-0
Format: Electronic Resources
Availability Online Library~1

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV

2024-11-05T08:26:32Z

Author Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9084-4
Format: Electronic Resources
Availability Online Library~1

Games: Unifying Logic, Language, and Philosophy

2024-11-05T08:26:32Z

Author Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9374-6
Format: Electronic Resources
Availability Online Library~1

From a Geometrical Point of View A Study of the History and Philosophy of Category Theory

2024-11-05T08:26:32Z

Author Marquis, Jean-Pierre. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9384-5
Format: Electronic Resources
Availability Online Library~1

Proof Theory for Fuzzy Logics

2024-11-05T08:26:32Z

Author Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9409-5
Format: Electronic Resources
Availability Online Library~1

Logic and Integer Programming

2024-11-05T08:26:32Z

Author Williams, H. Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-92280-5
Format: Electronic Resources
Availability Online Library~1

Logicism, Intuitionism, and Formalism What has Become of Them?

2024-11-05T08:26:32Z

Author Lindström, Sten. editor. Palmgren, Erik. editor. Segerberg, Krister. editor. Stoltenberg-Hansen, Viggo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8926-8
Format: Electronic Resources
Availability Online Library~1

Algorithmic Composition Paradigms of Automated Music Generation

2024-11-05T08:26:32Z

Author Nierhaus, Gerhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-211-75540-2
Format: Electronic Resources
Availability Online Library~1

Completeness Theory for Propositional Logics

2024-11-05T08:26:32Z

Author Pogorzelski, Witold A. author. Wojtylak, Piotr. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8518-7
Format: Electronic Resources
Availability Online Library~1

Guida alla teoria degli insiemi

2024-11-05T08:26:32Z

Author Lolli, Gabriele. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-88-470-0769-7
Format: Electronic Resources
Availability Online Library~1

Deduction, Computation, Experiment Exploring the Effectiveness of Proof

2024-11-05T08:26:32Z

Author Lupacchini, Rossella. editor. Corsi, Giovanna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-88-470-0784-0
Format: Electronic Resources
Availability Online Library~1

Constructive Negations and Paraconsistency

2024-11-05T08:26:32Z

Author Odintsov, Sergei P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6867-6
Format: Electronic Resources
Availability Online Library~1

Algorithms in Invariant Theory

2024-11-05T08:26:32Z

Author Sturmfels, Bernd. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-211-77417-5
Format: Electronic Resources
Availability Online Library~1

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

2024-11-05T08:26:32Z

Author Kohlenbach, Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77533-1
Format: Electronic Resources
Availability Online Library~1

New Developments in Formal Languages and Applications

2024-11-05T08:26:32Z

Author Bel-Enguix, Gemma. editor. Jiménez-López, M. Dolores. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78291-9
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

2024-11-05T08:26:32Z

Author Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87531-4
Format: Electronic Resources
Availability Online Library~1

Theoretische Informatik Eine umfassende Einführung

2024-11-05T08:26:32Z

Author Erk, Katrin. author. Priese, Lutz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76320-8
Format: Electronic Resources
Availability Online Library~1

Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologie

2024-11-05T08:26:32Z

Author Hausdorff, Felix. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76807-4
Format: Electronic Resources
Availability Online Library~1

Petri-Netze

2024-11-05T08:26:32Z

Author Priese, Lutz. author. Wimmel, Harro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76971-2
Format: Electronic Resources
Availability Online Library~1

Field Arithmetic

2024-11-05T08:26:32Z

Author Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77270-5
Format: Electronic Resources
Availability Online Library~1

Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen

2024-11-05T08:26:32Z

Author Deiser, Oliver. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79376-2
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

2024-11-05T08:26:32Z

Author Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79719-7
Format: Electronic Resources
Availability Online Library~1

Institution-independent Model Theory

2024-11-05T08:26:32Z

Author Diaconescu, Răzvan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8708-2
Format: Electronic Resources
Availability Online Library~1

Mathematics, Models, and Modality Selected Philosophical Essays

2024-11-05T08:26:32Z

Author Burgess, John P..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

New essays on Tarski and philosophy

2024-11-05T08:26:32Z

Author Patterson, Douglas.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199296309.001.0001
Format: Electronic Resources
Availability Online Library~1

Mathematical logic

2024-11-05T08:26:32Z

Author Tourlakis, George J.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9781118032435
Format: Electronic Resources
Availability Online Library~1

New Computational Paradigms Changing Conceptions of What is Computable

2024-11-05T08:26:32Z

Author Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-68546-5
Format: Electronic Resources
Availability Online Library~1

A Course on Mathematical Logic

2024-11-05T08:26:32Z

Author Srivastava, S. M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-76277-7
Format: Electronic Resources
Availability Online Library~1

Information and Knowledge A Constructive Type-theoretical Approach

2024-11-05T08:26:32Z

Author Primiero, Giuseppe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6170-7
Format: Electronic Resources
Availability Online Library~1

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

2024-11-05T08:26:32Z

Author Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6782-2
Format: Electronic Resources
Availability Online Library~1

Combinatorics and Graph Theory

2024-11-05T08:26:32Z

Author Harris, John. author. Hirst, Jeffry L. author. Mossinghoff, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-79711-3
Format: Electronic Resources
Availability Online Library~1

Logic for Computer Scientists

2024-11-05T08:26:32Z

Author Schöning, Uwe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4763-6
Format: Electronic Resources
Availability Online Library~1

Discrete Thoughts Essays on Mathematics, Science and Philosophy

2024-11-05T08:26:32Z

Author Kac, Mark. author. Rota, Gian-Carlo. author. Schwartz, Jacob T. author. Renz, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4775-9
Format: Electronic Resources
Availability Online Library~1

Indiscrete Thoughts

2024-11-05T08:26:32Z

Author Rota, Gian-Carlo. Palombi, Fabrizio. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4781-0
Format: Electronic Resources
Availability Online Library~1

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler

2024-11-05T08:26:32Z

Author Carnielli, Walter. author. Pizzi, Claudio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8590-1
Format: Electronic Resources
Availability Online Library~1

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns

2024-11-05T08:26:32Z

Author Pagliani, Piero. editor. Chakraborty, Mihir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8622-9
Format: Electronic Resources
Availability Online Library~1

Logica Universalis Towards a General Theory of Logic

2024-11-05T08:26:32Z

Author Beziau, Jean-Yves. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8354-1
Format: Electronic Resources
Availability Online Library~1

Ernst Zermelo An Approach to His Life and Work

2024-11-05T08:26:32Z

Author Ebbinghaus, Heinz-Dieter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-49553-6
Format: Electronic Resources
Availability Online Library~1

Finite Model Theory and Its Applications

2024-11-05T08:26:32Z

Author Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-68804-8
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

2024-11-05T08:26:32Z

Author Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72734-7
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

2024-11-05T08:26:32Z

Author Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72788-0
Format: Electronic Resources
Availability Online Library~1

Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen

2024-11-05T08:26:32Z

Author Deiser, Oliver. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-45388-8
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

2024-11-05T08:26:32Z

Author Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74915-8
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium 2005

2024-11-05T08:26:32Z

Author Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Transition to higher mathematics : structure and proof

2024-11-05T08:26:32Z

Author Dumas, Bob A. McCarthy, John E.
Preferred Shelf Number QA9 .D863 2007
Format: Books
Availability Beytepe Library~1

Discrete mathematics and its applications

2024-11-05T08:26:32Z

Author Rosen, Kenneth H.
Preferred Shelf Number QA39.3 R674 2007
Format: Books
Availability Beytepe Library~1

Brouwer Meets Husserl On the Phenomenology of Choice Sequences

2024-11-05T08:26:32Z

Author Atten, Mark. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5087-9
Format: Electronic Resources
Availability Online Library~1

The Arché Papers on the Mathematics of Abstraction

2024-11-05T08:26:32Z

Author Cook, Roy T. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-4265-2
Format: Electronic Resources
Availability Online Library~1

Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra

2024-11-05T08:26:32Z

Author Cox, David. author. Little, John. author. O’Shea, Donal. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-35651-8
Format: Electronic Resources
Availability Online Library~1

Mathematical Problems from Applied Logic II Logics for the XXIst Century

2024-11-05T08:26:32Z

Author Gabbay, Dov M. editor. Zakharyaschev, Michael. editor. Goncharov, Sergei S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-69245-6
Format: Electronic Resources
Availability Online Library~1

Number Theory An Introduction via the Distribution of Primes

2024-11-05T08:26:32Z

Author Fine, Benjamin. author. Rosenberger, Gerhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4541-0
Format: Electronic Resources
Availability Online Library~1

104 Number Theory Problems From the Training of the USA IMO Team

2024-11-05T08:26:32Z

Author Andreescu, Titu. author. Andrica, Dorin. author. Feng, Zuming. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4561-8
Format: Electronic Resources
Availability Online Library~1

A Beginner’s Guide to Graph Theory

2024-11-05T08:26:32Z

Author Wallis, W. D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4580-9
Format: Electronic Resources
Availability Online Library~1

The Legacy of Mario Pieri in Geometry and Arithmetic

2024-11-05T08:26:32Z

Author Marchisotto, Elena Anne. author. Smith, James T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4603-5
Format: Electronic Resources
Availability Online Library~1

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education

2024-11-05T08:26:32Z

Author Kerkhove, Bart. Bendegem, Jean Paul. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-5034-8
Format: Electronic Resources
Availability Online Library~1

Passione per Trilli Alcune idee dalla matematica

2024-11-05T08:26:32Z

Author Lucchetti, Roberto. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-88-470-0629-4
Format: Electronic Resources
Availability Online Library~1

Handbook of Spatial Logics

2024-11-05T08:26:32Z

Author Aiello, Marco. Pratt-Hartmann, Ian. Benthem, Johan. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5587-4
Format: Electronic Resources
Availability Online Library~1

The Strength of Nonstandard Analysis

2024-11-05T08:26:32Z

Author Berg, Imme. editor. Neves, Vítor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-211-49905-4
Format: Electronic Resources
Availability Online Library~1

Kolmogorov’s Heritage in Mathematics

2024-11-05T08:26:32Z

Author Charpentier, Éric. editor. Lesne, Annick. editor. Nikolski, Nikolaï K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-36351-4
Format: Electronic Resources
Availability Online Library~1

Tracking reason proof, consequence, and truth

2024-11-05T08:26:32Z

Author Azzouni, Jody.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195187137.001.0001
Format: Electronic Resources
Availability Online Library~1

The Congruences of a Finite Lattice A Proof-by-Picture Approach

2024-11-05T08:26:32Z

Author Grätzer, George. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-8176-4462-8
Format: Electronic Resources
Availability Online Library~1

Finite Model Theory

2024-11-05T08:26:32Z

Author Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28788-4
Format: Electronic Resources
Availability Online Library~1

Parameterized Complexity Theory

2024-11-05T08:26:32Z

Author Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29953-X
Format: Electronic Resources
Availability Online Library~1

More Sets, Graphs and Numbers A Salute to Vera Sós and András Hajnal

2024-11-05T08:26:32Z

Author Győri, Ervin. Katona, Gyula O. H. Lovász, László. Fleiner, Tamás. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-32439-3
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

2024-11-05T08:26:32Z

Author Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11814948
Format: Electronic Resources
Availability Online Library~1

Théorie des ensembles

2024-11-05T08:26:32Z

Author Bourbaki, N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-34035-5
Format: Electronic Resources
Availability Online Library~1

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory

2024-11-05T08:26:32Z

Author Lau, Dietlinde. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-36023-9
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

2024-11-05T08:26:32Z

Author Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11874683
Format: Electronic Resources
Availability Online Library~1

Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004

2024-11-05T08:26:32Z

Author Bagaria, Joan. editor. Todorcevic, Stevo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-7643-7692-9
Format: Electronic Resources
Availability Online Library~1

Mathematics and common sense a case of creative tension

2024-11-05T08:26:32Z

Author Davis, Philip J., 1923-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Commonsense reasoning

2024-11-05T08:26:32Z

Author Mueller, Erik T.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123693884
Format: Electronic Resources
Availability Online Library~1

Theorems, corollaries, lemmas, and methods of proof

2024-11-05T08:26:32Z

Author Rossi, Richard J., 1956-
Preferred Shelf Number ONLINE
Electronic Access Ebook Library Click here to view book John Wiley http://dx.doi.org/10.1002/9781118031575 Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html http://site.ebrary.com/lib/alltitles/Doc?id=10503020
Format: Electronic Resources
Availability Online Library~1

Cambridge and Vienna Frank P. Ramsey and the Vienna Circle

2024-11-05T08:26:32Z

Author Galavotti, Maria Carla. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4101-2
Format: Electronic Resources
Availability Online Library~1

18 Unconventional Essays on the Nature of Mathematics

2024-11-05T08:26:32Z

Author Hersh, Reuben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-29831-2
Format: Electronic Resources
Availability Online Library~1

Mathematical Problems from Applied Logic I Logics for the XXIst Century

2024-11-05T08:26:32Z

Author Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-31072-X
Format: Electronic Resources
Availability Online Library~1

Notes on Set Theory

2024-11-05T08:26:32Z

Author Moschovakis, Yiannis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-31609-4
Format: Electronic Resources
Availability Online Library~1

Problems and Theorems in Classical Set Theory

2024-11-05T08:26:32Z

Author Komjáth, Péter. author. Totik, Vilmos. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-36219-3
Format: Electronic Resources
Availability Online Library~1

Techniques of Constructive Analysis

2024-11-05T08:26:32Z

Author Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-38147-3
Format: Electronic Resources
Availability Online Library~1

A logical Approach to Philosophy Essays in Honour of Graham Solomon

2024-11-05T08:26:32Z

Author Devidi, David. Kenyon, Tim. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4054-7
Format: Electronic Resources
Availability Online Library~1

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today

2024-11-05T08:26:32Z

Author Benthem, Johan. Heinzmann, Gerhard. Rebuschi, Manuel. Visser, Henk. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5012-7
Format: Electronic Resources
Availability Online Library~1

A Concise Introduction to Mathematical Logic

2024-11-05T08:26:32Z

Author Rautenberg, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-34241-9
Format: Electronic Resources
Availability Online Library~1

Axiom of Choice

2024-11-05T08:26:32Z

Author Herrlich, Horst. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11601562
Format: Electronic Resources
Availability Online Library~1

Phenomenology, Logic, and the Philosophy of Mathematics

2024-11-05T08:26:32Z

Author Tieszen, Richard.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

The Big Typescript, TS. 213

2024-11-05T08:26:32Z

Author Wittgenstein, Ludwig, 1889-1951. Luckhardt, C. Grant, 1943- Aue, Maximilian. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0802/2004030873-b.html John Wiley http://dx.doi.org/10.1002/9780470752906
Format: Electronic Resources
Availability Online Library~1

Logically determined design clockless system design with NULL convention logic

2024-11-05T08:26:32Z

Author Fant, Karl M.
Preferred Shelf Number ONLINE
Electronic Access Click for information Available by subscription from Safari Books Online John Wiley http://dx.doi.org/10.1002/0471702897 MyiLibrary, Table of contents http://www.myilibrary.com?id=25243&ref=toc Volltext http://proquest.tech.safaribooksonline.de/9780471684787
Format: Electronic Resources
Availability Online Library~1

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

2024-11-05T08:26:32Z

Author Solojentsev, E. D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-2978-0
Format: Electronic Resources
Availability Online Library~1

A Modern Perspective on Type Theory From its Origins until Today

2024-11-05T08:26:32Z

Author Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-2335-9
Format: Electronic Resources
Availability Online Library~1

Visualization, Explanation and Reasoning Styles in Mathematics

2024-11-05T08:26:32Z

Author Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3335-4
Format: Electronic Resources
Availability Online Library~1

Propositional and Predicate Calculus A Model of Argument

2024-11-05T08:26:32Z

Author Goldrei, Derek. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-229-2
Format: Electronic Resources
Availability Online Library~1

Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories

2024-11-05T08:26:32Z

Author Manin, Yuri Ivanovic. author. Panchishkin, Alexei A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-27692-0
Format: Electronic Resources
Availability Online Library~1

Valued Fields

2024-11-05T08:26:32Z

Author Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-30035-X
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

2024-11-05T08:26:32Z

Author Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137280
Format: Electronic Resources
Availability Online Library~1

Categories for Software Engineering

2024-11-05T08:26:32Z

Author Fiadeiro, José Luiz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138249
Format: Electronic Resources
Availability Online Library~1

Field Arithmetic

2024-11-05T08:26:32Z

Author Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138352
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

2024-11-05T08:26:32Z

Author Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11527695
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

2024-11-05T08:26:32Z

Author Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11538363
Format: Electronic Resources
Availability Online Library~1

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

2024-11-05T08:26:32Z

Author Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106663
Format: Electronic Resources
Availability Online Library~1

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

2024-11-05T08:26:32Z

Author Middeldorp, Aart. editor. Oostrom, Vincent. editor. Raamsdonk, Femke. editor. Vrijer, Roel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11601548
Format: Electronic Resources
Availability Online Library~1

Logica Universalis Towards a General Theory of Logic

2024-11-05T08:26:32Z

Author Beziau, Jean-Yves. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137041
Format: Electronic Resources
Availability Online Library~1

Rippling: Meta-Level Guidance for Mathematical Reasoning

2024-11-05T08:26:32Z

Author Bundy, Alan. Basin, David. Hutter, Dieter. Ireland, Andrew.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Essays in Constructive Mathematics

2024-11-05T08:26:32Z

Author Edwards, Harold M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138656
Format: Electronic Resources
Availability Online Library~1

Adapting Proofs-as-Programs The Curry-Howard Protocol

2024-11-05T08:26:32Z

Author Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28183-5
Format: Electronic Resources
Availability Online Library~1

Laws of Nature

2024-11-05T08:26:32Z

Author Mittelstaedt, Peter. Weingartner, Paul A. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28303-X
Format: Electronic Resources
Availability Online Library~1

Trends in Continuum Mechanics of Porous Media

2024-11-05T08:26:32Z

Author Boer, Reint. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3144-0
Format: Electronic Resources
Availability Online Library~1

Linear Logic in Computer Science

2024-11-05T08:26:32Z

Author Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Charles S. Peirce zur Einführung

2024-11-05T08:26:32Z

Author Pape, Helmut.
Preferred Shelf Number B945.P44 P347 2004
Format: Books
Availability Beytepe Library~1

Logic and structure

2024-11-05T08:26:32Z

Author Dalen, D. van.
Preferred Shelf Number QA 9 D16 2004
Format: Books
Availability Beytepe Library~1

Önermeler mantığı :

2024-11-05T08:26:32Z

Author Nesin, Ali.
Preferred Shelf Number QA 270 .N476 2004
Format: Books
Availability Beytepe Library~1

Handbook of the logic of argument and inference the turn towards the practical

2024-11-05T08:26:32Z

Author Gabbay, Dov M., 1945-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444506504
Format: Electronic Resources
Availability Online Library~1

Develerle eşekler :

2024-11-05T08:26:32Z

Author Nesin, Ali. Akgül, Tayfun, karikatür.
Preferred Shelf Number QA 270 .N474 2002
Format: Books
Availability Beytepe Library~1

Mathematical logic

2024-11-05T08:26:32Z

Author Turing, Alan Mathison, 1912-1954. Gandy, R. O. (Robin O.) Yates, C. E. M.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444504234
Format: Electronic Resources
Availability Online Library~1

From Peirce to Skolem a neglected chapter in the history of logic

2024-11-05T08:26:32Z

Author Brady, Geraldine.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444503343
Format: Electronic Resources
Availability Online Library~1

Learning to reason an introduction to logic, sets and relations

2024-11-05T08:26:32Z

Author Rodgers, Nancy, 1941-
Preferred Shelf Number ONLINE
Electronic Access Wiley InterScience An electronic book accessible through the World Wide Web; click for information Ebook Library Click here to view book Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/00023492.html ebrary http://site.ebrary.com/id/10500922 http://site.ebrary.com/lib/alltitles/Doc?id=10500922
Format: Electronic Resources
Availability Online Library~1

Logic-based methods for optimization combining optimization and constraint satisfaction

2024-11-05T08:26:32Z

Author Hooker, John, 1949- Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Wiley InterScience An electronic book accessible through the World Wide Web; click for information Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/99088732.html
Format: Electronic Resources
Availability Online Library~1

The logic of knowledge bases

2024-11-05T08:26:32Z

Author Levesque, Hector J., 1951- Lakemeyer, Gerhard.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409
Format: Electronic Resources
Availability Online Library~1

Between Logic and Intuition Essays in Honor of Charles Parsons

2024-11-05T08:26:32Z

Author Sher, Gila. Tieszen, Richard.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Sembolik mantık el kitabı

2024-11-05T08:26:32Z

Author Grünberg, Teo.
Preferred Shelf Number BC 135 G969 2000 V.2
Format: Books
Availability Beytepe Library~2