Limit Search Results
Author
SpringerLink (Online service)
(2011)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Wiley InterScience (Online service)
(13)
Gabbay, Dov M., 1945-
(12)
Language
Publication Date
-
Subject
Computer science.
(1243)
Logic design.
(1147)
Software engineering.
(874)
Artificial intelligence.
(606)
Logic, Symbolic and mathematical.
(314)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2888 Results Found Subscribe to search results
00000000DEFAULT
Print
2881. 
Cover image for Bilgi teorisi ve mantık
Bilgi teorisi ve mantık
Author 
Von Aster, Ernst. Gökberk, Macit, çev.
Preferred Shelf Number 
BD 161 V89 1972
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2882. 
Cover image for Objective knowledge : an evolutionary approach
Objective knowledge : an evolutionary approach
Author 
Popper, Sir Karl Raimund, 1902-
Preferred Shelf Number 
BD 161 P727 1972
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2883. 
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:
2884. 
Cover image for Logique et connaissance scientifique ...
Logique et connaissance scientifique ...
Author 
Piaget, Jean, 1896-1980.
Preferred Shelf Number 
BD 162 L6 1967
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2885. 
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:
2886. 
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:
2887. 
Cover image for Aklın idaresi için kurallar
Aklın idaresi için kurallar
Author 
Descartes (Descartes, René) Karasan, Mehmet.
Preferred Shelf Number 
B1868 D445 1962
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2888. 
Cover image for Mantık : Suri ve tatbiki
Mantık : Suri ve tatbiki
Author 
Yücel, Hasan Âli, 1897-1961
Preferred Shelf Number 
BC 117.T8 .Y3454 1926
Format: 
Availability 
Conservatory Library~1
Available:
Copies:
Select an Action