Limit Search Results
Author
SpringerLink (Online service)
(1972)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Gabbay, Dov M., 1945-
(12)
Wiley InterScience (Online service)
(12)
Language
Publication Date
-
Subject
Computer science.
(1227)
Logic design.
(1134)
Software engineering.
(870)
Artificial intelligence.
(606)
Computer Communication Networks.
(294)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2753 Results Found Subscribe to search results
00000DEFAULT
Print
2749. 
Cover image for Judgment and proposition : from Descartes to Kant
Judgment and proposition : from Descartes to Kant
Author 
Nuchelmans, Gabriel.
Preferred Shelf Number 
BC181 N78 1983
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2750. 
Cover image for De dialectica
De dialectica
Author 
Jackson, Belford Darrell, 1938-, trans. Pinborg, Jan., ed.
Preferred Shelf Number 
B 655.D42 E54 1975
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2751. 
Cover image for Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968
Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968
Author 
Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo) Kino, A. Myhill, John, 1923-1987. Vesley, Richard Eugene, 1932-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422573
Format: 
Availability 
Online Library~1
Available:
Copies:
2752. 
Cover image for Past, present and future
Past, present and future
Author 
Prior, A. N. (Arthur N.), 1914-1969.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198243113.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
2753. 
Cover image for A theory of sets
A theory of sets
Author 
Morse, Anthony P. (Anthony Perry)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123745675
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action