Limit Search Results
Language
Publication Date
-
Material Type
Library
6 Results Found Subscribe to search results
000000DEFAULT
Print
Author 
Tarski, Alfred.
Preferred Shelf Number 
QA 9 T3 1971
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Author 
Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Gregg, John.
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Benthem, Johan van, 1949- Meulen, Alice G. B. ter.
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies: