Arama Sonu&ccedil;lar&#305; Logic. - Daralt&#305;lm&#305;&#351;: Model theory. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic.$0026qf$003dSUBJECT$002509Konu$002509Model$002btheory.$002509Model$002btheory.$0026pe$003dd$00253A$0026ps$003d300?dt=list 2024-12-25T07:13:00Z Intuitionistic logic, model theory and forcing ent://SD_ILS/0/SD_ILS:257225 2024-12-25T07:13:00Z 2024-12-25T07:13:00Z Yazar&#160;Fitting, Melvin, 1942-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534187">http://www.sciencedirect.com/science/book/9780444534187</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Model theory for infinitary logic logic with countable conjunctions and finite quantifiers ent://SD_ILS/0/SD_ILS:257253 2024-12-25T07:13:00Z 2024-12-25T07:13:00Z Yazar&#160;Keisler, H. Jerome.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422580">http://www.sciencedirect.com/science/book/9780720422580</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> A course in model theory ent://SD_ILS/0/SD_ILS:279217 2024-12-25T07:13:00Z 2024-12-25T07:13:00Z Yazar&#160;Tent, Katrin, 1963-&#160;Ziegler, Martin.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=438561">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=438561</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Simple Theories and Hyperimaginaries ent://SD_ILS/0/SD_ILS:237435 2024-12-25T07:13:00Z 2024-12-25T07:13:00Z Yazar&#160;Casanovas, Enrique.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1017/CBO9781139003728">Access by subscription</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Stable Domination and Independence in Algebraically Closed Valued Fields ent://SD_ILS/0/SD_ILS:235573 2024-12-25T07:13:00Z 2024-12-25T07:13:00Z Yazar&#160;Haskell, Deirdre.&#160;Hrushovski, Ehud.&#160;Macpherson, Dugald.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1017/CBO9780511546471">Access by subscription</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The foundations of mathematics ent://SD_ILS/0/SD_ILS:267321 2024-12-25T07:13:00Z 2024-12-25T07:13:00Z Yazar&#160;Kunen, Kenneth.<br/>Yer Numaras&#305;&#160;QA9 K796 2012<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Introduction to model theory ent://SD_ILS/0/SD_ILS:114240 2024-12-25T07:13:00Z 2024-12-25T07:13:00Z Yazar&#160;Rothmaler, Philipp.<br/>Yer Numaras&#305;&#160;QA9.7 .R671 2000<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Model theory ent://SD_ILS/0/SD_ILS:257084 2024-12-25T07:13:00Z 2024-12-25T07:13:00Z Yazar&#160;Chang, Chen Chung, 1927-&#160;Keisler, H. Jerome.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444880543">http://www.sciencedirect.com/science/book/9780444880543</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Classification theory and the number of non-isomorphic models ent://SD_ILS/0/SD_ILS:257167 2024-12-25T07:13:00Z 2024-12-25T07:13:00Z Yazar&#160;Shelah, Saharon.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444702609">http://www.sciencedirect.com/science/book/9780444702609</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Large infinitary languages model theory ent://SD_ILS/0/SD_ILS:257199 2024-12-25T07:13:00Z 2024-12-25T07:13:00Z Yazar&#160;Dickmann, M. A., 1940-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444106223">http://www.sciencedirect.com/science/book/9780444106223</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The metamathematics of algebraic systems, collected papers: 1936-1967 ent://SD_ILS/0/SD_ILS:257255 2024-12-25T07:13:00Z 2024-12-25T07:13:00Z Yazar&#160;Mal&#697;t&#865;sev, A. I. (Anatoli&#301; Ivanovich), 1909-1967.&#160;Wells, Benjamin Franklin.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422665">http://www.sciencedirect.com/science/book/9780720422665</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Constructible sets with applications ent://SD_ILS/0/SD_ILS:257203 2024-12-25T07:13:00Z 2024-12-25T07:13:00Z Yazar&#160;Mostowski, Andrzej.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534217">http://www.sciencedirect.com/science/book/9780444534217</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Introduction to model theory and to the metamathematics of algebra ent://SD_ILS/0/SD_ILS:257208 2024-12-25T07:13:00Z 2024-12-25T07:13:00Z Yazar&#160;Robinson, Abraham, 1918-1974.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533975">http://www.sciencedirect.com/science/book/9780444533975</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 1. ent://SD_ILS/0/SD_ILS:237277 2024-12-25T07:13:00Z 2024-12-25T07:13:00Z Yazar&#160;Cluckers, Raf.&#160;Nicaise, Johannes.&#160;Sebag, Julien.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1017/CBO9780511667534">Access by subscription</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>