A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers /

Detalles Bibliográficos
Autor principal:	Bouvere, Karel Louis de (Autor, Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Amsterdam : North-Holland Pub. Co., 1959.
Materias:	DEFINICION (LOGICA) TEOREMA DE GODEL

Descripción
Descripción Física:	64 páginas

Ejemplares similares