Undecidable theories - Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael Mitchell 1911- (Amsterdam : North Holland, 1953)
Keywords: TEOREMA DE GODEL