Limit Search Results
Author
SpringerLink (Online service)
(203)
Project Muse.
(5)
Maciaszek, Leszek A. editor.
(3)
Aalst, Wil M. P. editor.
(2)
Baldoni, Matteo. editor.
(2)
Language
Subject
Computer science.
(164)
Logic design.
(113)
Logics and Meanings of Programs.
(104)
Mathematical Logic and Formal Languages.
(101)
Software engineering.
(89)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
255 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic and Structure
Logic and Structure
Author 
Dalen, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331010.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4558-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Introduction to logic
Introduction to logic
Author 
Suppes, Patrick Colonel, 1922-
Preferred Shelf Number 
BC 108 S85 1957
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Paraconsistency: Logic and Applications
Paraconsistency: Logic and Applications
Author 
Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335759.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4438-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Advances in modal logic
Advances in modal logic
Author 
Kracht, Marcus, ed.
Preferred Shelf Number 
BC 199.M6 A38 1998- V.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
5. 
Cover image for Logic Programming with Prolog
Logic Programming with Prolog
Author 
Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331207.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for The logic of practice
The logic of practice
Author 
Bourdieu, Pierre, 1930-2002
Preferred Shelf Number 
GN 468 B6813 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
7. 
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:
8. 
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:
9. 
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:
10. 
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:
11. 
Cover image for Logic of analog and digital machines
Logic of analog and digital machines
Author 
Rocchi, Paolo.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=581746
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for A Course on Mathematical Logic
A Course on Mathematical Logic
Author 
Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331853.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5746-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action