Limit Search Results
Author
SpringerLink (Online service)
(470)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Mostowski, Andrzej.
(4)
Schlechta, Karl. author.
(4)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(314)
Computer science.
(198)
Artificial intelligence.
(156)
Mathematical logic.
(151)
Mathematics.
(133)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
624 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for A Concise Introduction to Mathematical Logic
A Concise Introduction to Mathematical Logic
Author 
Rautenberg, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34241-9
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Mathematical logic and programming languages
Mathematical logic and programming languages
Author 
Hoare, C. A. R., ed. Shepherdson, J. C., ed.
Preferred Shelf Number 
QA 9 M42 1985
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
15. 
Cover image for A mathematical introduction to logic
A mathematical introduction to logic
Author 
Enderton, Herbert B.
Preferred Shelf Number 
QA 9 E54 1972
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
16. 
Cover image for A profile of mathematical logic
A profile of mathematical logic
Author 
DeLong, Howard, 1936-
Preferred Shelf Number 
QA 9 B37 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
17. 
Cover image for An introduction to mathematical logic
An introduction to mathematical logic
Author 
Robinson, Gerson B., 1909-
Preferred Shelf Number 
QA 9 R72 1969
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
18. 
Cover image for Elements of mathematical logic (Model theory)
Elements of mathematical logic (Model theory)
Author 
Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534125
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
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:
20. 
Cover image for The development of mathematical logic
The development of mathematical logic
Author 
Nidditch, P. H.
Preferred Shelf Number 
BC 135 N5 1962
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
21. 
Cover image for The elements of mathematical logic
The elements of mathematical logic
Author 
Rosenbloom, Paul C.
Preferred Shelf Number 
BC 135 R7236 1950
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
22. 
Cover image for A Course in Mathematical Logic for Mathematicians
A Course in Mathematical Logic for Mathematicians
Author 
Manin, Yu. I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0615-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
Author 
Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444854025
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Author 
Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas) Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da. Chuaqui, R.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720407525
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action