Aspects of incompleteness /

Bibliographic Details

Main Author:	Lindström, Per, 1936-2009
Format:	Book
Language:	English
Published:	Urbana, Ill. : Natick, Mass. : Association for Symbolic Logic ; A.K. Peters, [2003]
Edition:	2nd ed.
Series:	Lecture notes in logic ; 10.
Subjects:	Incompleteness theorems. Recursion theory.