Arama Sonu&ccedil;lar&#305; logique math&eacute;matique. - Daralt&#305;lm&#305;&#351;: English SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dlogique$002bmath$0025C3$0025A9matique.$0026qf$003dLANGUAGE$002509Dil$002509ENG$002509English$0026ic$003dtrue$0026ps$003d300? 2024-12-03T11:10:02Z Elements of mathematical logic (Model theory) ent://SD_ILS/0/SD_ILS:257214 2024-12-03T11:10:02Z 2024-12-03T11:10:02Z Yazar&#160;Kreisel, Georg.&#160;Krivine, J. L. (Jean Louis), joint author.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534125">http://www.sciencedirect.com/science/book/9780444534125</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985 ent://SD_ILS/0/SD_ILS:257246 2024-12-03T11:10:02Z 2024-12-03T11:10:02Z Yazar&#160;Logic Colloquium (1985 : Orsay, France)&#160;Equipe de logique math&eacute;matique (Paris, France)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444702111">http://www.sciencedirect.com/science/book/9780444702111</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Handbook of logic and language ent://SD_ILS/0/SD_ILS:256543 2024-12-03T11:10:02Z 2024-12-03T11:10:02Z Yazar&#160;Benthem, Johan van, 1949-&#160;Meulen, Alice G. B. ter.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444817143">http://www.sciencedirect.com/science/book/9780444817143</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic ent://SD_ILS/0/SD_ILS:257234 2024-12-03T11:10:02Z 2024-12-03T11:10:02Z Yazar&#160;Logic Colloquium (1980 : Prague, Czech Republic)&#160;Dalen, D. van (Dirk), 1932-&#160;Lascar, D. (Daniel), 1942-&#160;Smiley, T. J. (Timothy John)&#160;Association for Symbolic Logic.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864659">http://www.sciencedirect.com/science/book/9780444864659</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>