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

Bibliographic Details
Main Author:	Bouvere, Karel Louis de (Author, Autor/a)
Format:	Book
Language:	English
Published:	Amsterdam : North-Holland Pub. Co., 1959.
Subjects:	DEFINICION (LOGICA) TEOREMA DE GODEL

Description
Physical Description:	64 páginas

Similar Items