Undecidable theories /

Bibliographic Details

Corporate Author:	ScienceDirect (Online service)
Other Authors:	Tarski, Alfred, 1901-1983, Mostowski, Andrzej, Robinson, Raphael M. (Raphael Mitchel), 1911-
Format:	eBook
Language:	English
Published:	Amsterdam : North-Holland, 1953.
Series:	Studies in logic and the foundations of mathematics ; v. 13.
Subjects:	Gödel's theorem. Decidability (Mathematical logic) Théorème de Gödel. Décidabilité (Logique mathématique) Gödel's theorem Décidabilité (logique mathématique) Métamathématique. Metamathematics Electronic books.
Online Access:	Connect to the full text of this electronic book