Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(61)
Dalen, Dirk. author.
(3)
Deiser, Oliver. author.
(3)
Mostowski, Andrzej.
(3)
Gabbay, Dov M. editor.
(2)
Dil
Yayın Yılı
-
Konu
Mathematics.
(58)
Logic.
(21)
Mathematical Logic and Foundations.
(12)
Computer science.
(10)
Global analysis (Mathematics).
(8)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
99 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
The nature of mathematics : a critical survey için kapak resmi
The nature of mathematics : a critical survey
Yazar 
Black, Max, 1909-
Yer Numarası 
QA 9 B62 1933 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
14. 
The limits of science : outline of logic and of the methodology of the exact sciences için kapak resmi
The limits of science : outline of logic and of the methodology of the exact sciences
Yazar 
Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-
Yer Numarası 
Q 175 C494 1948 A (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
15. 
The foundations of mathematics : and other logical essays için kapak resmi
The foundations of mathematics : and other logical essays
Yazar 
Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.
Yer Numarası 
QA 9 R23 1931
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
16. 
An examination of logical positivism için kapak resmi
An examination of logical positivism
Yazar 
Weinberg, Julius Rudolf, 1908-
Yer Numarası 
B 824.6 W434 1936 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
17. 
Admissibility of logical inference rules için kapak resmi
Admissibility of logical inference rules
Yazar 
Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444895059
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Logical frameworks for truth and abstraction an axiomatic study için kapak resmi
Logical frameworks for truth and abstraction an axiomatic study
Yazar 
Cantini, Andrea.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444823069
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Computability, complexity, logic için kapak resmi
Computability, complexity, logic
Yazar 
Börger, E. (Egon), 1946-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444874061
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985 için kapak resmi
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
Yazar 
Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444702111
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982 için kapak resmi
Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982
Yazar 
Logic Colloquium '82 (Florence) Lolli, Gabriele, 1942- Longo, G. (Giuseppe) Marcja, A. (Annalisa)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444868763
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic için kapak resmi
Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic
Yazar 
Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444864659
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Foundational studies selected works. Volume II için kapak resmi
Foundational studies selected works. Volume II
Yazar 
Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851031
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Foundational studies selected works. Volume I için kapak resmi
Foundational studies selected works. Volume I
Yazar 
Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851024
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç