Term logic with choice operator

Detalles Bibliográficos
Autor principal:	Hermes, Hans (Autor, Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Berlín : Springer, 1970.
Materias:	LOGICA, SIMBOLICA Y MATEMATICA

Descripción
Notas:	En: Lecture notes in mathematics. Berlin, Springer, 1964- v.6.
Descripción Física:	55 páginas

Ejemplares similares