Arama Sonuçları BİÇİMCİLİK (MANTIK). - Daraltılmış: BİÇİMCİLİK (MANTIK).
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dB$0025C4$0025B0$0025C3$002587$0025C4$0025B0MC$0025C4$0025B0L$0025C4$0025B0K$002b$002528MANTIK$002529.$0026qf$003dSUBJECT$002509Konu$002509B$0025C4$0025B0$0025C3$002587$0025C4$0025B0MC$0025C4$0025B0L$0025C4$0025B0K$002b$002528MANTIK$002529.$002509B$0025C4$0025B0$0025C3$002587$0025C4$0025B0MC$0025C4$0025B0L$0025C4$0025B0K$002b$002528MANTIK$002529.$0026pe$003dd$00253A$0026ps$003d300?dt=list
2024-10-20T20:12:16Z
Model theory for model logic : kripke models for modal predicate calculi
ent://SD_ILS/0/SD_ILS:46058
2024-10-20T20:12:16Z
2024-10-20T20:12:16Z
Yazar Bowen, Kenneth A.<br/>Yer Numarası QA 9.46 B68 1979<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Deductive logic : an introduction to evaluation techniques and logical theory
ent://SD_ILS/0/SD_ILS:808
2024-10-20T20:12:16Z
2024-10-20T20:12:16Z
Yazar Clarke, David S., 1936-<br/>Yer Numarası BC 71 C53 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
A general interpreted modal calculus
ent://SD_ILS/0/SD_ILS:793
2024-10-20T20:12:16Z
2024-10-20T20:12:16Z
Yazar Bressan, Aldo.<br/>Yer Numarası BC 199.M6 B73L 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>