Search Results for Mathematical logic. - Narrowed by: 1969 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematical$002blogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091969$0025091969$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list 2025-03-17T14:42:44Z An introduction to mathematical logic ent://SD_ILS/0/SD_ILS:46050 2025-03-17T14:42:44Z 2025-03-17T14:42:44Z Author&#160;Robinson, Gerson B., 1909-<br/>Preferred Shelf Number&#160;QA 9 R72 1969<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Constructive order types ent://SD_ILS/0/SD_ILS:257209 2025-03-17T14:42:44Z 2025-03-17T14:42:44Z Author&#160;Crossley, John N.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534200">http://www.sciencedirect.com/science/book/9780444534200</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The collected papers of Gerhard Gentzen ent://SD_ILS/0/SD_ILS:257319 2025-03-17T14:42:44Z 2025-03-17T14:42:44Z Author&#160;Szabo, M. E.&#160;Gentzen, Gerhard.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534194">http://www.sciencedirect.com/science/book/9780444534194</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>