Limit Search Results
Author
SpringerLink (Online service)
(225)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Schlechta, Karl. author.
(4)
Andreescu, Titu. author.
(3)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(292)
Mathematics.
(125)
Computer science.
(101)
Logic.
(47)
Artificial intelligence.
(34)
Material Type
Switch to list view
Switch to thumbnail view
Select an Action
330 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics
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: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Logic: A Brief Course
Logic: A Brief Course
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: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Non solo calcoli Domande e risposte sui perché della matematica
Non solo calcoli Domande e risposte sui perché della matematica
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: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Truth and Falsehood An Inquiry into Generalized Logical Values
Truth and Falsehood An Inquiry into Generalized Logical Values
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: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Frege's notations what they are and how they mean
Frege's notations what they are and how they mean
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: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Combinatorial Set Theory With a Gentle Introduction to Forcing
Combinatorial Set Theory With a Gentle Introduction to Forcing
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: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Mathematical Logic for Computer Science
Mathematical Logic for Computer Science
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: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Teoria algebrica dei meccanismi automatici
Teoria algebrica dei meccanismi automatici
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: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for On Intuitionistic Fuzzy Sets Theory
On Intuitionistic Fuzzy Sets Theory
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: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Mathematics of Discrete Structures for Computer Science
Mathematics of Discrete Structures for Computer Science
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: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
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: 
Availability 
Online Library~1
Available:
Copies:
Select an Action