Search Results for Mathematical logic. - Narrowed by: 2012

Mathematical logic : A course with exercises

2024-11-18T18:33:19Z

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

Mathematical Logic for Computer Science

2024-11-18T18:33:19Z

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

The foundations of mathematics

2024-11-18T18:33:19Z

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

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

2024-11-18T18:33:19Z

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

The foundations of mathematics : and other logical essays

2024-11-18T18:33:19Z

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-18T18:33:19Z

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

An examination of logical positivism

2024-11-18T18:33:19Z

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

The logical syntax of language

2024-11-18T18:33:19Z

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

Mathematics of Discrete Structures for Computer Science

2024-11-18T18:33:19Z

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

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

2024-11-18T18:33:19Z

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 Complexity of Valued Constraint Satisfaction Problems

2024-11-18T18:33:19Z

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

Logic: A Brief Course

2024-11-18T18:33:19Z

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-18T18:33:19Z

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

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

2024-11-18T18:33:19Z

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

Truth and Falsehood An Inquiry into Generalized Logical Values

2024-11-18T18:33:19Z

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

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

2024-11-18T18:33:19Z

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

Mathematical Olympiad Treasures

2024-11-18T18:33:19Z

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-18T18:33:19Z

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-18T18:33:19Z

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-18T18:33:19Z

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-18T18:33:19Z

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

Around and Beyond the Square of Opposition

2024-11-18T18:33:19Z

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-18T18:33:19Z

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

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

2024-11-18T18:33:19Z

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-18T18:33:19Z

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

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-18T18:33:19Z

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

Foundations of Algebraic Specification and Formal Software Development

2024-11-18T18:33:19Z

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

Combinatorial Set Theory With a Gentle Introduction to Forcing

2024-11-18T18:33:19Z

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

Lecture Notes on O-Minimal Structures and Real Analytic Geometry

2024-11-18T18:33:19Z

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-18T18:33:19Z

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

Gd̲el's way exploits into an undecidable world

2024-11-18T18:33:19Z

Author Chaitin, Gregory J. Doria, Francisco Antn̥io. Costa, Newton C. A. da.
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

Industrial control systems mathematical and statistical models and techniques

2024-11-18T18:33:19Z

Author Badiru, Adedeji Bodunde, 1952- Ibidapo-Obe, Oye. Ayeni, Babatunde J.
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

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

2024-11-18T18:33:19Z

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-18T18:33:19Z

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

Frege's notations what they are and how they mean

2024-11-18T18:33:19Z

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

Systems engineering and architecting creating formal requirements

2024-11-18T18:33:19Z

Author Bellagamba, Laurence.
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

Hybrid Dynamical Systems : Modeling, Stability, and Robustness.

2024-11-18T18:33:19Z

Author Goebel, Rafal. Sanfelice, Ricardo G. Teel, Andrew R.
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.ctt7s02z
Format: Electronic Resources
Availability Online Library~1

The logician and the engineer : how George Boole and Claude Shannon created the information age

2024-11-18T18:33:19Z

Author Nahin, Paul J.
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.cttq957s
Format: Electronic Resources
Availability Online Library~1