Arama Sonuçları Foundations. - Daraltılmış: Model theory.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dFoundations.$0026qf$003dSUBJECT$002509Konu$002509Model$002btheory.$002509Model$002btheory.$0026ps$003d300$0026isd$003dtrue?2026-01-20T10:47:42ZThe foundations of mathematicsent://SD_ILS/0/SD_ILS:2673212026-01-20T10:47:42Z2026-01-20T10:47:42ZYazar Kunen, Kenneth.<br/>Yer Numarası QA9 K796 2012<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Model theoryent://SD_ILS/0/SD_ILS:2570842026-01-20T10:47:42Z2026-01-20T10:47:42ZYazar Chang, Chen Chung, 1927- Keisler, H. Jerome.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444880543">http://www.sciencedirect.com/science/book/9780444880543</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Classification theory and the number of non-isomorphic modelsent://SD_ILS/0/SD_ILS:2571672026-01-20T10:47:42Z2026-01-20T10:47:42ZYazar Shelah, Saharon.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444702609">http://www.sciencedirect.com/science/book/9780444702609</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Large infinitary languages model theoryent://SD_ILS/0/SD_ILS:2571992026-01-20T10:47:42Z2026-01-20T10:47:42ZYazar Dickmann, M. A., 1940-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444106223">http://www.sciencedirect.com/science/book/9780444106223</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model theory for infinitary logic logic with countable conjunctions and finite quantifiersent://SD_ILS/0/SD_ILS:2572532026-01-20T10:47:42Z2026-01-20T10:47:42ZYazar Keisler, H. Jerome.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422580">http://www.sciencedirect.com/science/book/9780720422580</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The metamathematics of algebraic systems, collected papers: 1936-1967ent://SD_ILS/0/SD_ILS:2572552026-01-20T10:47:42Z2026-01-20T10:47:42ZYazar Malʹt͡sev, A. I. (Anatoliĭ Ivanovich), 1909-1967. Wells, Benjamin Franklin.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422665">http://www.sciencedirect.com/science/book/9780720422665</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Constructible sets with applicationsent://SD_ILS/0/SD_ILS:2572032026-01-20T10:47:42Z2026-01-20T10:47:42ZYazar Mostowski, Andrzej.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534217">http://www.sciencedirect.com/science/book/9780444534217</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intuitionistic logic, model theory and forcingent://SD_ILS/0/SD_ILS:2572252026-01-20T10:47:42Z2026-01-20T10:47:42ZYazar Fitting, Melvin, 1942-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534187">http://www.sciencedirect.com/science/book/9780444534187</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to model theory and to the metamathematics of algebraent://SD_ILS/0/SD_ILS:2572082026-01-20T10:47:42Z2026-01-20T10:47:42ZYazar Robinson, Abraham, 1918-1974.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533975">http://www.sciencedirect.com/science/book/9780444533975</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>