Arama Sonuçları Arithmetic. - Daraltılmış: 1968

Arama Sonuçları Arithmetic. - Daraltılmış: 1968 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dArithmetic.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091968$0025091968$0026ps$003d300? 2024-11-13T12:30:55Z Computational arithmetic ent://SD_ILS/0/SD_ILS:32612 2024-11-13T12:30:55Z 2024-11-13T12:30:55Z Yazar Snyder, Llewellyn R.<br/>Yer Numarası QA 139 S64 1968<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/> Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel ent://SD_ILS/0/SD_ILS:773 2024-11-13T12:30:55Z 2024-11-13T12:30:55Z Yazar Mostowski, Andrzej<br/>Yer Numarası BC 135 M6 1952<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>