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.
(317)
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
360 Results Found Subscribe to search results
000000000000DEFAULT
Print
289. 
Cover image for Adapting Proofs-as-Programs The Curry-Howard Protocol
Adapting Proofs-as-Programs The Curry-Howard Protocol
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: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories
Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories
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: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Linear Logic in Computer Science
Linear Logic in Computer Science
Author 
Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Logic and structure
Logic and structure
Author 
Dalen, D. van.
Preferred Shelf Number 
QA 9 D16 2004
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
293. 
Cover image for Önermeler mantığı :
Önermeler mantığı :
Author 
Nesin, Ali.
Preferred Shelf Number 
QA 270 .N476 2004
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
294. 
Cover image for Charles S. Peirce zur Einführung
Charles S. Peirce zur Einführung
Author 
Pape, Helmut.
Preferred Shelf Number 
B945.P44 P347 2004
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
295. 
Cover image for Handbook of the logic of argument and inference the turn towards the practical
Handbook of the logic of argument and inference the turn towards the practical
Author 
Gabbay, Dov M., 1945-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444506504
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Develerle eşekler :
Develerle eşekler :
Author 
Nesin, Ali. Akgül, Tayfun, karikatür.
Preferred Shelf Number 
QA 270 .N474 2002
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
297. 
Cover image for Mathematical logic
Mathematical logic
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: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for The logic of knowledge bases
The logic of knowledge bases
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: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Between Logic and Intuition Essays in Honor of Charles Parsons
Between Logic and Intuition Essays in Honor of Charles Parsons
Author 
Sher, Gila. Tieszen, Richard.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Logic-based methods for optimization combining optimization and constraint satisfaction
Logic-based methods for optimization combining optimization and constraint satisfaction
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: 
Availability 
Online Library~1
Available:
Copies:
Select an Action