Search Results for Andrews, Peter. - Narrowed by: English - 1965SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAndrews$00252C$002bPeter.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dPUBDATE$002509Publication$002bDate$0025091965$0025091965$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?2024-10-24T16:19:39ZA transfinite type with type variablesent://SD_ILS/0/SD_ILS:460352024-10-24T16:19:39Z2024-10-24T16:19:39ZAuthor Andrews, Peter B.<br/>Preferred Shelf Number QA 9 A64 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A transfinite type theory with type variablesent://SD_ILS/0/SD_ILS:2573662024-10-24T16:19:39Z2024-10-24T16:19:39ZAuthor Andrews, P. B. (Peter Bruce), 1937-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534026">http://www.sciencedirect.com/science/book/9780444534026</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>