Search Results for Logic. - Narrowed by: E-Book - Categories (Mathematics) SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dSUBJECT$002509Subject$002509Categories$002b$002528Mathematics$002529$002509Categories$002b$002528Mathematics$002529$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-03T06:46:04Z Categorical logic and type theory ent://SD_ILS/0/SD_ILS:256535 2024-09-03T06:46:04Z 2024-09-03T06:46:04Z Author&#160;Jacobs, Bart.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444501707">http://www.sciencedirect.com/science/book/9780444501707</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Category theory ent://SD_ILS/0/SD_ILS:278706 2024-09-03T06:46:04Z 2024-09-03T06:46:04Z Author&#160;Awodey, Steve, 1959-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375073">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375073</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebra of proofs ent://SD_ILS/0/SD_ILS:257307 2024-09-03T06:46:04Z 2024-09-03T06:46:04Z Author&#160;Szabo, M. E.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422863">http://www.sciencedirect.com/science/book/9780720422863</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Theories A Categorical Introduction to General Algebra ent://SD_ILS/0/SD_ILS:239089 2024-09-03T06:46:04Z 2024-09-03T06:46:04Z Author&#160;Ad&aacute;mek, J..&#160;Rosick&yacute;, J..&#160;Vitale, E. M..&#160;Lawvere, F. W..<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511760754">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>