Recursion theory for metamathematics

Podrobná bibliografie
Hlavní autor: Smullyan, Raymond M.
Médium: Kniha
Vydáno: New York Oxford University Press 1993.
Edice:Oxford logic guides 22
Témata: