Arama Sonuçları MANTIK. - Daraltılmış: 1967SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMANTIK.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091967$0025091967$0026ps$003d300?dt=list2024-11-22T12:40:52ZLogical studiesent://SD_ILS/0/SD_ILS:7492024-11-22T12:40:52Z2024-11-22T12:40:52ZYazar Wright, Georg Henrik von, 1916-<br/>Yer Numarası BC 108 W7 1957<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>First-order functional calculusent://SD_ILS/0/SD_ILS:7652024-11-22T12:40:52Z2024-11-22T12:40:52ZYazar Keene, Geoffrey Bourton.<br/>Yer Numarası BC 135 K4 1966<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödelent://SD_ILS/0/SD_ILS:7732024-11-22T12:40:52Z2024-11-22T12:40:52ZYazar Mostowski, Andrzej<br/>Yer Numarası BC 135 M6 1952<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematische Gesetze der Logikent://SD_ILS/0/SD_ILS:7782024-11-22T12:40:52Z2024-11-22T12:40:52ZYazar Schmidt, H. Arnold, 1902_<br/>Yer Numarası BC 135 S343 1959-<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhangigkeit der Kontinuum Hypothese und des Auswahlaxiomsent://SD_ILS/0/SD_ILS:730212024-11-22T12:40:52Z2024-11-22T12:40:52ZYazar Jensen, Ronald Björn. Leven, Franz Josef.<br/>Yer Numarası QA 248 J453 1967<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>An Introduction to many-valued logicent://SD_ILS/0/SD_ILS:460342024-11-22T12:40:52Z2024-11-22T12:40:52ZYazar Ackermann, Robert John, 1933-<br/>Yer Numarası QA 9 A5 1967<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Organonent://SD_ILS/0/SD_ILS:203912024-11-22T12:40:52Z2024-11-22T12:40:52ZYazar Aristotle, 384-322, M.Ö. Atademir, Hamdi Ragıp, çev.<br/>Yer Numarası PA 3900.T3 O7 V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~6<br/>