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
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | JSE 01-1321 | Offsite |
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
- 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