Proof theory and intuitionistc systems

Detalles Bibliográficos
Autor principal: Scarpellini, Bruno (Autor, Autor/a)
Formato: Libro
Lenguaje:English
Publicado: Berlín : Springer, 1964-.
Materias:
Descripción
Notas:En: Lecture notes in mathematics. Berlin, Springer, 1964- v. 212.
Descripción Física:290 páginas