Limit Search Results
Author
Henkin, Leon.
(2)
Ackermann, Wilhelm, 1896-
(1)
Addison, John West, 1930- ed.
(1)
Antonini, Eraldo.
(1)
Association for Symbolic Logic.
(1)
Language
Subject
MANTIK, SEMBOLİK VE MATEMATİKİ.
(4)
EKONOMİ, MATEMATİKİ.
(2)
Model theory.
(2)
Recursive functions.
(2)
ANLAMBİLİM (FELSEFE).
(1)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
39 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Degrees of unsolvability
Degrees of unsolvability
Author 
Shoenfield, Joseph Robert.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720420616
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Applied graph theory
Applied graph theory
Author 
Chen, Wai-Kai, 1936-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720423624
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Progress in low temperature physics
Progress in low temperature physics
Author 
Gorter, Cornelis Jacobus, 1907-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444872739
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Brain research.
Brain research.
Author 
International Brain Research Organization.
Preferred Shelf Number 
ALFABETİK V.726 1996
Electronic Access 
http://sciencedirect.com/science/journal/00068993
Format: 
Availability 
Health Sciences Library~530 Health Sciences Library~169 ~0
Available:
Copies:
5. 
Cover image for European journal of pharmacology.
European journal of pharmacology.
Author 
Elsevier
Preferred Shelf Number 
ALFABETİK V.2 1968
Electronic Access 
Elektronik erişim
Format: 
Availability 
Health Sciences Library~318 ~0
Available:
Copies:
6. 
Cover image for FEBS Letters.
FEBS Letters.
Author 
Federation of European Biochemical Societies.
Preferred Shelf Number 
ALFABETİK V.6 1970
Electronic Access 
Elektronik erişim
Format: 
Availability 
Health Sciences Library~366 ~0
Available:
Copies:
7. 
Cover image for Acta botanica neerlandica.
Acta botanica neerlandica.
Preferred Shelf Number 
ALFABETİK V.25 1976
Format: 
Availability 
Beytepe Library~4 ~0
Available:
Copies:
8. 
Cover image for Solvable cases of decision problem
Solvable cases of decision problem
Author 
Ackermann, Wilhelm, 1896-
Preferred Shelf Number 
BC 135 A3 1954
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for The theory of models : proc.
The theory of models : proc.
Author 
International Symposium on the Theory of Models (1963 : Berkeley, Calif.) Addison, John West, 1930- ed. Henkin, Leon, ed. Tarski, Alfred, ed.
Preferred Shelf Number 
BC 135 I586 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
10. 
Cover image for Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Author 
Mostowski, Andrzej
Preferred Shelf Number 
BC 135 M6 1952
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
11. 
Cover image for Progress in low temperature physics
Progress in low temperature physics
Author 
Gorter, Cornelis Jacobus, 1907- ed.
Preferred Shelf Number 
QC 278 G6 1955- V.4
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
12. 
Cover image for Lincos : design of a language for cosmic intercourse
Lincos : design of a language for cosmic intercourse
Author 
Feudenthal, Hans, 1905-
Preferred Shelf Number 
PM 8508 F7 V.1
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Select an Action