Search Results for Genetic. - Narrowed by: E-Book - 2011 - Logic, Symbolic and mathematical.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dGenetic.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dPUBDATE$002509Publication$002bDate$0025092011$0025092011$0026qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$0026ic$003dtrue$0026ps$003d300?
2024-09-11T00:12:10Z
Treatise on Intuitionistic Type Theory
ent://SD_ILS/0/SD_ILS:206159
2024-09-11T00:12:10Z
2024-09-11T00:12:10Z
Author Granström, Johan Georg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1736-7">http://dx.doi.org/10.1007/978-94-007-1736-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell
ent://SD_ILS/0/SD_ILS:205780
2024-09-11T00:12:10Z
2024-09-11T00:12:10Z
Author DeVidi, David. editor. Hallett, Michael. editor. Clarke, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0214-1">http://dx.doi.org/10.1007/978-94-007-0214-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>