Recursion theory for metamathematics.
Smullyan Raymond M
Recursion theory for metamathematics. - Oxford Oxford University Press 1993 - xiv,163p. cm. - Oxford logic guides. .
44780
Textual
R14, N3
Recursion theory for metamathematics. - Oxford Oxford University Press 1993 - xiv,163p. cm. - Oxford logic guides. .
44780
Textual
R14, N3
