Limit Search Results
Author
SpringerLink (Online service)
(114)
Mostowski, Andrzej.
(7)
Tarski, Alfred.
(5)
Kuratowski, Kazimierz, 1896-1980.
(4)
Robinson, Abraham, 1918-1974.
(4)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(100)
Mathematics.
(62)
Logic.
(31)
Computer science.
(30)
Computer science -- Mathematics.
(25)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
317 Results Found Subscribe to search results
000000000000DEFAULT
Print
241. 
Cover image for Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Author 
de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-47709-0
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Kurt Gödel and the Foundations of Mathematics Horizons of Truth
Kurt Gödel and the Foundations of Mathematics Horizons of Truth
Author 
Baaz, Matthias. Papadimitriou, Christos H.. Putnam, Hilary W.. Scott, Dana S.. Harper, Jr, Charles L..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
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:
244. 
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:
245. 
Cover image for Introduction to mathematical proofs
Introduction to mathematical proofs
Author 
Roberts, Charles, author. Taylor and Francis.
Preferred Shelf Number 
QA9.54
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
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:
247. 
Cover image for The Argument of Mathematics
The Argument of Mathematics
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: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
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: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Discrete mathematics and its applications
Discrete mathematics and its applications
Author 
Rosen, Kenneth H. Krithivasan, Kamala.
Preferred Shelf Number 
QA39.3 R674 2013
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
250. 
Cover image for Visual Reasoning with Diagrams
Visual Reasoning with Diagrams
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: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Towards a General Theory of Classifications
Towards a General Theory of Classifications
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: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus
An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus
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: 
Availability 
Online Library~1
Available:
Copies:
Select an Action