Search Results for Recursive functions. - Narrowed by: 1965
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dRecursive$002bfunctions.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091965$0025091965$0026te$003dILS$0026ps$003d300?
2024-09-23T18:35:40Z
Formal systems and recursive functions : proceeding
ent://SD_ILS/0/SD_ILS:768
2024-09-23T18:35:40Z
2024-09-23T18:35:40Z
Author Logic Colloquium (8th : 1963 : Oxford).<br/>Preferred Shelf Number BC 135 L8292 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Formal systems and recursive functions
ent://SD_ILS/0/SD_ILS:257283
2024-09-23T18:35:40Z
2024-09-23T18:35:40Z
Author Crossley, John N. Dummett, Michael, 1925-2011.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534057">http://www.sciencedirect.com/science/book/9780444534057</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The foundations of intuitionistic mathematics : especially in relation to recursive functions
ent://SD_ILS/0/SD_ILS:72506
2024-09-23T18:35:40Z
2024-09-23T18:35:40Z
Author Kleene, Stephen Cole, 1909- Vesley, Richard Eugene, ort. yaz.<br/>Preferred Shelf Number QA 248.5 K652 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>