Incompletud archivos - Summa Logicae

20 Ene Teoría de la computabilidad

Posted at 13:38h in 1) Fundamentos, Teoría de la Computación by tonik 0 Comments

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 08-02-2007 Autor: María Manzano Fecha de creación: 08-02-2005 Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20339"]...

20 Ene Lógica de segundo orden

Posted at 13:38h in 2) Sistemas Lógicos, Lógica de Orden Superior by tonik 0 Comments

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 13-02-2007 Autor: María Manzano Fecha de creación: 15-01-2005 Página Web: http://logicae.usal.es/mara Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20555"]...

20 Ene Hybrid Type Theory, a Quartet in four Movements

Posted at 13:38h in 2) Sistemas Lógicos, Lógica Híbrida by tonik 0 Comments

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 18-05-2012 Autor: Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano Fecha de creación: 18-05-2012 Página Web: http://www.cfh.ufsc.br/~principi/15-2.html Idioma: Inglés/English Formato: .pdf (Adobe) [ninja_tables id="20788"]...