Research Catalog

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

Title
Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems / Roman Murawski.
Author
Murawski, Roman
Publication
Dordrecht, Netherlands ; Boston : Kluwer Academic , c1999.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Book/TextRequest in advance JSE 01-1321Offsite

Details

Description
xii, 391 p.; 25 cm.
Series Statement
Synthese library ; v. 286
Uniform Title
Funkcje rekurencyjne i elementy metamatematyki. English
Alternative Title
Funkcje rekurencyjne i elementy metamatematyki.
Subject
  • Recursive functions
  • Decidability (Mathematical logic)
  • Gödel's theorem
Bibliography (note)
  • Includes bibliographical references (p. 341-375) and index.
Call Number
JSE 01-1321
ISBN
0792359046 (acid-free paper)
LCCN
99041793
OCLC
42072150
Author
Murawski, Roman.
Title
Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems / Roman Murawski.
Imprint
Dordrecht, Netherlands ; Boston : Kluwer Academic , c1999.
Series
Synthese library ; v. 286
Bibliography
Includes bibliographical references (p. 341-375) and index.
Research Call Number
JSE 01-1321
View in Legacy Catalog