Arama Sonuçları Logic. - Daraltılmış: 1985
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091985$0025091985$0026pe$003dd$00253A$0026ps$003d300?dt=list
2024-12-25T07:13:08Z
Introduction to logic
ent://SD_ILS/0/SD_ILS:748
2024-12-25T07:13:08Z
2024-12-25T07:13:08Z
Yazar Suppes, Patrick Colonel, 1922-<br/>Yer Numarası BC 108 S85 1957<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Fundamentals of logic design
ent://SD_ILS/0/SD_ILS:83158
2024-12-25T07:13:08Z
2024-12-25T07:13:08Z
Yazar Roth, Charles H.<br/>Yer Numarası TK 7868.L6 R67 1985<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Advanced digital logic concepts
ent://SD_ILS/0/SD_ILS:27638
2024-12-25T07:13:08Z
2024-12-25T07:13:08Z
Yer Numarası TK 7868.D5 A95 1983<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Logic : the theory of formal inference
ent://SD_ILS/0/SD_ILS:740
2024-12-25T07:13:08Z
2024-12-25T07:13:08Z
Yazar Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Yer Numarası BC 108 A55 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Studies in inductive logic and probability
ent://SD_ILS/0/SD_ILS:35499
2024-12-25T07:13:08Z
2024-12-25T07:13:08Z
Yazar Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.<br/>Yer Numarası QA 273.4 C37 1971-<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Logic testing and design for testability
ent://SD_ILS/0/SD_ILS:220153
2024-12-25T07:13:08Z
2024-12-25T07:13:08Z
Yazar Fujiwara, Hideo.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical logic and programming languages
ent://SD_ILS/0/SD_ILS:72687
2024-12-25T07:13:08Z
2024-12-25T07:13:08Z
Yazar Hoare, C. A. R., ed. Shepherdson, J. C., ed.<br/>Yer Numarası QA 9 M42 1985<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Intentional mathematics
ent://SD_ILS/0/SD_ILS:257087
2024-12-25T07:13:08Z
2024-12-25T07:13:08Z
Yazar Shapiro, Stewart, 1951-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444876324">http://www.sciencedirect.com/science/book/9780444876324</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cylindric algebras
ent://SD_ILS/0/SD_ILS:46044
2024-12-25T07:13:08Z
2024-12-25T07:13:08Z
Yazar Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.<br/>Yer Numarası QA 9 H415 1971- V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Harvey Friedman's research on the foundations of mathematics
ent://SD_ILS/0/SD_ILS:257088
2024-12-25T07:13:08Z
2024-12-25T07:13:08Z
Yazar Friedman, Harvey, 1948- Harrington, L. A.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444878342">http://www.sciencedirect.com/science/book/9780444878342</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Equivalents of the axiom of choice, II
ent://SD_ILS/0/SD_ILS:256703
2024-12-25T07:13:08Z
2024-12-25T07:13:08Z
Yazar Rubin, Herman. Rubin, Jean E.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444877086">http://www.sciencedirect.com/science/book/9780444877086</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cylindric algebras. Part II
ent://SD_ILS/0/SD_ILS:256956
2024-12-25T07:13:08Z
2024-12-25T07:13:08Z
Yazar Henkin, Leon. Monk, J. Donald (James Donald), 1930- Tarski, Alfred.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444876799">http://www.sciencedirect.com/science/book/9780444876799</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
İslam mantık tarihi ve Farabi mantığı
ent://SD_ILS/0/SD_ILS:85159
2024-12-25T07:13:08Z
2024-12-25T07:13:08Z
Yazar Keklik, Nihat.<br/>Yer Numarası BC 34 K4 1969-70<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Studies in post-medieval semantics
ent://SD_ILS/0/SD_ILS:97577
2024-12-25T07:13:08Z
2024-12-25T07:13:08Z
Yazar Ashworth, E. J.<br/>Yer Numarası P 106 A78 1985<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Spectral techniques and fault detection
ent://SD_ILS/0/SD_ILS:254970
2024-12-25T07:13:08Z
2024-12-25T07:13:08Z
Yazar Karpovsky, Mark G. International Workshop on Spectral Techniques and Fault Detection (1983 : Boston, Mass.)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124000605">http://www.sciencedirect.com/science/book/9780124000605</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ludwig Wittgenstein, Tractatus logico-philosophicus
ent://SD_ILS/0/SD_ILS:505238
2024-12-25T07:13:08Z
2024-12-25T07:13:08Z
Yazar Aruoba, Oruç.<br/>Yer Numarası B3376.W563 T7319 1985<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>