Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems /

Bibliographic Details

Main Author:	Murawski, Roman
Format:	Book
Language:	English
Published:	Dordrecht, Netherlands ; Boston : Kluwer Academic, [1999]
Series:	Synthese library ; v. 286.
Subjects:	Recursive functions. Decidability (Mathematical logic) Gödel's theorem.