Search Results for Logic, Symbolic and mathematical. - Narrowed by: 1967SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091967$0025091967$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-09-23T07:23:18ZPast, present and futureent://SD_ILS/0/SD_ILS:2341372024-09-23T07:23:18Z2024-09-23T07:23:18ZAuthor Prior, A. N. (Arthur N.), 1914-1969.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198243113.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198243113.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Elements of mathematical logic (Model theory)ent://SD_ILS/0/SD_ILS:2572142024-09-23T07:23:18Z2024-09-23T07:23:18ZAuthor Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534125">http://www.sciencedirect.com/science/book/9780444534125</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965ent://SD_ILS/0/SD_ILS:2572862024-09-23T07:23:18Z2024-09-23T07:23:18ZAuthor Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534101">http://www.sciencedirect.com/science/book/9780444534101</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>