Lógica
inco
|
fing
|
udelar
Untitled
Curso
Principal
Cartelera
Horarios
Docentes
Programa
Bibliografía
Resultados
Material
Teórico
Práctico
Ejemplos
Parciales
Notas
Otros Recursos
Artículos
Software
Utilitarios
Links
Curso 2011
Cartelera 2011
Artículos de Lógica
Formalized mathematics
, de John Harrison. Formato : ps.gz. Tamaño : 210K
Godel, Tarski, Church, and the Liar
, de Gyorgy Serény. Formato : ps.gz. Tamaño : 66K
Le langage mathematique et les langages de programmation
, de
Gilles Dowek
. Formato : ps.gz. Tamaño : 65K
Notes on Induction
, de
Bob Harper
. Formato : ps. Tamaño : 490K
Lo que la tortuga le dijo a Aquiles:
Español
Inglés
Y su autor es
Lewis Carroll
.