Search Results for -- ANSİKLOPEDİLER. - Narrowed by: Online Library - 1969 - Logic, Symbolic and mathematical.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d--$002bANS$0025C4$0025B0KLOPED$0025C4$0025B0LER.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025091969$0025091969$0026qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-10T23:11:35Z
Constructive order types
ent://SD_ILS/0/SD_ILS:257209
2024-09-10T23:11:35Z
2024-09-10T23:11:35Z
Author Crossley, John N.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534200">http://www.sciencedirect.com/science/book/9780444534200</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The collected papers of Gerhard Gentzen
ent://SD_ILS/0/SD_ILS:257319
2024-09-10T23:11:35Z
2024-09-10T23:11:35Z
Author Szabo, M. E. Gentzen, Gerhard.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534194">http://www.sciencedirect.com/science/book/9780444534194</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>