Carlos Gonzalía. (2002). Relation Calculus: In Martin-Löf Type Theory. Göteborg University.
Citación estilo ChicagoCarlos Gonzalía. Relation Calculus: In Martin-Löf Type Theory. Göteborg Sweden: Göteborg University, 2002.
Cita MLACarlos Gonzalía. Relation Calculus: In Martin-Löf Type Theory. Göteborg Sweden: Göteborg University, 2002.
Precaución: Estas citas no son 100% exactas.
