Pratica : proofs, types and categories /

Detalles Bibliográficos
Autor principal:	Hermann Haeusler, Edward (Editor )
Otros Autores:	Pereira, Luiz Carlos (Editor , Editor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Rio de Janeiro : Pontificia Universidade Catolica do Rio de Janeiro, 1999.
Materias:	CATEGORIAS (MATEMATICAS) LOGICA, SIMBOLICA Y MATEMATICA MATEMATICAS CONSTRUCTIVAS

Descripción
Descripción Física:	219 páginas : ilustraciones
ISBN:	9788590090014

Ejemplares similares