Tableau systems for first order number theory and certain higher order theories : Sue Toledo.

Tableau systems for first order number theory and certain higher order theories : Sue Toledo.

Detalles Bibliográficos
Autor principal: Toledo, Sue Ann 1940- (Autor/a)
Formato: Libro
Lenguaje:English
Publicado: Berlín : Springer, 1964-.
Materias:
TEORIA DE LOS NUMEROS

Ejemplares similares

Ejemplares similares