Cover Image

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

Show other versions (1)
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.
Description
Physical Description:xii, 391 pages ; 25 cm.
Bibliography:Includes bibliographical references (pages 341-375) and index.
ISBN:0792359046 (acid-free paper)