Smullyan Raymond M

Recursion theory for metamathematics. - Oxford Oxford University Press 1993 - xiv,163p. cm. - Oxford logic guides. .

44780

Textual

R14, N3