Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(470)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Mostowski, Andrzej.
(4)
Schlechta, Karl. author.
(4)
Dil
Yayın Yılı
-
Konu
Logic, Symbolic and mathematical.
(314)
Computer science.
(198)
Artificial intelligence.
(156)
Mathematical logic.
(151)
Mathematics.
(133)
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ç
624 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
613. 
Logic, methodology and philosophy of science proceedings of the 1960 international congress için kapak resmi
Logic, methodology and philosophy of science proceedings of the 1960 international congress
Yazar 
International Congress of Logic, Methodology, and Philosophy of Science (1960) Nagel, Ernest, 1901-1985. Suppes, Patrick, 1922- Tarski, Alfred.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780804700962
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
614. 
A theory of sets için kapak resmi
A theory of sets
Yazar 
Morse, Anthony P. (Anthony Perry)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780123745675
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
615. 
Formal systems and recursive functions için kapak resmi
Formal systems and recursive functions
Yazar 
Crossley, John N. Dummett, Michael, 1925-2011.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534057
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
616. 
Languages with expressions of infinite length için kapak resmi
Languages with expressions of infinite length
Yazar 
Karp, Carol, 1926-1972.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534019
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
617. 
The logical systems of Lesniewski için kapak resmi
The logical systems of Lesniewski
Yazar 
Luschei, Eugene C.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533951
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
618. 
Aklın idaresi için kurallar için kapak resmi
Aklın idaresi için kurallar
Yazar 
Descartes (Descartes, René) Karasan, Mehmet.
Yer Numarası 
B1868 D445 1962
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
619. 
The axiomatic method için kapak resmi
The axiomatic method
Yazar 
Henkin, Leon. Suppes, Patrick, 1922- Tarski, Alfred.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533920
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
620. 
Intuitionism an introduction için kapak resmi
Intuitionism an introduction
Yazar 
Heyting, A. (Arend), 1898-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533821
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
621. 
Mathematical interpretation of formal systems için kapak resmi
Mathematical interpretation of formal systems
Yazar 
Wiskundig Genootschap (Netherlands) Skolem, Th. (Thoralf), 1887-1963.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533814
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
622. 
Solvable cases of the decision problem için kapak resmi
Solvable cases of the decision problem
Yazar 
Ackermann, W. (Wilhelm), 1896-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533807
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
623. 
Undecidable theories için kapak resmi
Undecidable theories
Yazar 
Tarski, Alfred. Mostowski, Andrzej. Robinson, Raphael M. (Raphael Mitchel), 1911-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533784
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
624. 
Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel için kapak resmi
Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel
Yazar 
Mostowski, Andrzej.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533753
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç