Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Methods of logic
Methods of logic
Author 
Quine, Willard Van Orman.
Preferred Shelf Number 
BC 50 Q8 1966
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Introduction to mathematical logic
Introduction to mathematical logic
Author 
Mendelson, Elliott.
Preferred Shelf Number 
QA 9 M4 1964
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for The axiomatic method : an introduction to mathematical logic
The axiomatic method : an introduction to mathematical logic
Author 
Lightstone, A. H.
Preferred Shelf Number 
QA 248 L53 1964
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus.
Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus.
Author 
Goodstein, Reuben Louis.
Preferred Shelf Number 
QA 241 G6293 1957
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for Languages with expressions of infinite length
Languages with expressions of infinite length
Author 
Karp, Carol, 1926-1972.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534019
Format: 
Availability 
Online Library~1
Available:
Copies: