Proof theory and intuitionistc systems

Detalles Bibliográficos
Autor principal:	Scarpellini, Bruno (Autor, Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Berlín : Springer, 1964-.
Materias:	ARITMETICA

Descripción
Notas:	En: Lecture notes in mathematics. Berlin, Springer, 1964- v. 212.
Descripción Física:	290 páginas

Ejemplares similares