Limit Search Results
Author
SpringerLink (Online service)
(2126)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Kacprzyk, Janusz. editor.
(13)
Wiley InterScience (Online service)
(13)
Language
Publication Date
-
Subject
Computer science.
(1244)
Logic design.
(1152)
Software engineering.
(874)
Artificial intelligence.
(652)
Logic, Symbolic and mathematical.
(315)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3090 Results Found Subscribe to search results
000000000000DEFAULT
Print
133. 
Cover image for A survey of mathematical logic
A survey of mathematical logic
Author 
Wang, Hao, 1921-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533982
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Truth and consequence in mediaeval logic
Truth and consequence in mediaeval logic
Author 
Moody, Ernest A. (Ernest Addison), 1903-1975.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533760
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for The propositional logic of Boethius
The propositional logic of Boethius
Author 
Dürr, Karl, 1888-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533661
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for An essay in modal logic
An essay in modal logic
Author 
Wright, G. H. von (Georg Henrik), 1916-2003.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533708
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Logic programming languages constraints, functions, and objects
Logic programming languages constraints, functions, and objects
Author 
Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Logic Pro 9 audio and music production
Logic Pro 9 audio and music production
Author 
Cousins, Mark, 1972- Hepworth-Sawyer, Russ.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240521930
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Proceedings of the Second Scandinavian Logic Symposium
Proceedings of the Second Scandinavian Logic Symposium
Author 
Scandinavian Logic Symposium (2nd : 1970 : University of Oslo) Fenstad, Jens Erik, ed. Association for Symbolic Logic.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422597
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Chance, love and logic : philosophical essays
Chance, love and logic : philosophical essays
Author 
Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.
Preferred Shelf Number 
B 945.P43 C5 1923 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
141. 
Cover image for Studies in inductive logic and probability
Studies in inductive logic and probability
Author 
Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.
Preferred Shelf Number 
QA 273.4 C37 1971-
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
142. 
Cover image for Logic : the theory of formal inference
Logic : the theory of formal inference
Author 
Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.
Preferred Shelf Number 
BC 108 A55 1972
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
143. 
Cover image for Mathematical logic : A course with exercises
Mathematical logic : A course with exercises
Author 
Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number 
QA 9 C742513 2000 PT.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
144. 
Cover image for R-Calculus, IV: Propositional Logic
R-Calculus, IV: Propositional Logic
Author 
Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-8633-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action