Arama Sonuçları MANTIK, SEMBOLİK VE MATEMATİKİ. - Daraltılmış: German
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMANTIK$00252C$002bSEMBOL$0025C4$0025B0K$002bVE$002bMATEMAT$0025C4$0025B0K$0025C4$0025B0.$0026qf$003dLANGUAGE$002509Dil$002509GER$002509German$0026ps$003d300?dt=list
2025-12-07T18:35:00Z
Mathematische Gesetze der Logik
ent://SD_ILS/0/SD_ILS:778
2025-12-07T18:35:00Z
2025-12-07T18:35:00Z
Yazar Schmidt, H. Arnold, 1902_<br/>Yer Numarası BC 135 S343 1959-<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Temporal logic of programs
ent://SD_ILS/0/SD_ILS:32200
2025-12-07T18:35:00Z
2025-12-07T18:35:00Z
Yazar Kröger, Fred, 1945-<br/>Yer Numarası QA 76.6 K753 1987<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Elementare logik (Pradikatenlogik der ersten Stufe)
ent://SD_ILS/0/SD_ILS:771
2025-12-07T18:35:00Z
2025-12-07T18:35:00Z
Yazar Mates, Benson, 1919-<br/>Yer Numarası BC 135 M37 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhangigkeit der Kontinuum Hypothese und des Auswahlaxioms
ent://SD_ILS/0/SD_ILS:73021
2025-12-07T18:35:00Z
2025-12-07T18:35:00Z
Yazar 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/>
Grundzüge der mathematischen Logik
ent://SD_ILS/0/SD_ILS:71238
2025-12-07T18:35:00Z
2025-12-07T18:35:00Z
Yazar Scholz, Heinrich, 1884-1956.<br/>Yer Numarası BC 135 S64 1961<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>