Search Results for - Narrowed by: SpringerLink (Online service) - 2008 - Computer science. - Logic. - Philosophy (General).
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dPUBDATE$002509Publication$002bDate$0025092008$0025092008$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Logic.$002509Logic.$0026qf$003dSUBJECT$002509Subject$002509Philosophy$002b$002528General$002529.$002509Philosophy$002b$002528General$002529.$0026ic$003dtrue$0026ps$003d300?
2024-08-26T23:28:50Z
Information and Knowledge A Constructive Type-theoretical Approach
ent://SD_ILS/0/SD_ILS:169711
2024-08-26T23:28:50Z
2024-08-26T23:28:50Z
Author Primiero, Giuseppe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6170-7">http://dx.doi.org/10.1007/978-1-4020-6170-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler
ent://SD_ILS/0/SD_ILS:170236
2024-08-26T23:28:50Z
2024-08-26T23:28:50Z
Author Carnielli, Walter. author. Pizzi, Claudio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8590-1">http://dx.doi.org/10.1007/978-1-4020-8590-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>