Recursion theory for metamathematics

Raymond M. Smullyan
Bok · Engelsk · 1993

Utgitt	New York : Oxford University Press , 1993
Omfang	xiv, 163 s.
Emner	Recursion theory rekursjonsteori rekursive funksjoner metamatematikk ufullstendighetsteoremer gödel
ISBN	019508232X