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.
(314)
Mathematics.
(129)
Computer science.
(101)
Logic.
(48)
Artificial intelligence.
(34)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
357 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Logical Foundations of Cyber-Physical Systems
Logical Foundations of Cyber-Physical Systems
Author 
Platzer, André. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63588-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Logics for Computer Science Classical and Non-Classical
Logics for Computer Science Classical and Non-Classical
Author 
Wasilewska, Anita. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92591-2
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for A concise introduction to pure mathematics
A concise introduction to pure mathematics
Author 
Liebeck, M. W. (Martin W.), 1954-
Preferred Shelf Number 
QA9 L478 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
16. 
Cover image for Logic and discrete mathematics : a concise introduction
Logic and discrete mathematics : a concise introduction
Author 
Conradie, Willem, 1978- author. Goranko, Valentin, author.
Preferred Shelf Number 
QA9 C7423 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
17. 
Cover image for Introduction to mathematical logic
Introduction to mathematical logic
Author 
Mendelson, Elliott.
Preferred Shelf Number 
QA9 M4 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
18. 
Cover image for Formal logic, or, The calculus of inference, necessary and probable
Formal logic, or, The calculus of inference, necessary and probable
Author 
De Morgan, Augustus, 1806-1871, author.
Preferred Shelf Number 
BC135 D4 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
19. 
Cover image for Commonsense reasoning an event calculus-based approach
Commonsense reasoning an event calculus-based approach
Author 
Mueller, Erik T., author.
Preferred Shelf Number 
ONLINE(355437.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128014165
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Kurt Gödel Essays for his Centennial
Kurt Gödel Essays for his Centennial
Author 
Feferman, Solomon. Parsons, Charles. Simpson, Stephen G..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for A Logical Introduction to Proof
A Logical Introduction to Proof
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: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for A Course on Mathematical Logic
A Course on Mathematical Logic
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: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for An Invitation to Abstract Mathematics
An Invitation to Abstract Mathematics
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: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
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: 
Availability 
Online Library~1
Available:
Copies:
Select an Action