The incompleteness phenomenon : a new course in mathematical logic /

Bibliographic Details

Main Author:	Goldstern, Martin
Other Authors:	Judah, H. (Haim)
Format:	Book
Language:	English
Published:	Natick, Mass. : A K Peters, [1998]
Subjects:	Proof theory. Gödel's theorem. Théorèmes d'incomplétude. Preuve, Théorie de la.