Arama Sonu&ccedil;lar&#305; Mathematical logic. - Daralt&#305;lm&#305;&#351;: 1969 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMathematical$002blogic.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091969$0025091969$0026pe$003dd$00253A$0026ps$003d300? 2025-01-14T05:10:59Z An introduction to mathematical logic ent://SD_ILS/0/SD_ILS:46050 2025-01-14T05:10:59Z 2025-01-14T05:10:59Z Yazar&#160;Robinson, Gerson B., 1909-<br/>Yer Numaras&#305;&#160;QA 9 R72 1969<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> The collected papers of Gerhard Gentzen ent://SD_ILS/0/SD_ILS:257319 2025-01-14T05:10:59Z 2025-01-14T05:10:59Z Yazar&#160;Szabo, M. E.&#160;Gentzen, Gerhard.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534194">http://www.sciencedirect.com/science/book/9780444534194</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Constructive order types ent://SD_ILS/0/SD_ILS:257209 2025-01-14T05:10:59Z 2025-01-14T05:10:59Z Yazar&#160;Crossley, John N.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534200">http://www.sciencedirect.com/science/book/9780444534200</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>