Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems / Roman Murawski
(Synthese library ; v. 286)
Publisher | Dordrecht ; Boston : Kluwer Academic Publishers |
---|---|
Year | c1999 |
Authors | *Murawski, Roman |
Hide book details.
Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Restriction | Reserve |
---|---|---|---|---|---|---|---|---|---|
Library Main Building Basement (Foreign Books, Code Classification) |
|
1080:2:286 | 129903881+ |
|
|
|
|
Hide details.
Material Type | Books |
---|---|
Size | xii, 391 p. ; 25 cm |
Other titles | original title:Funkcje rekurencyjne i elementy metamatematyki |
Notes | Bibliography: p. 341-375 Includes index |
Subjects | LCSH:Recursive functions LCSH:Decidability (Mathematical logic) LCSH:Gödel's theorem |
Classification | LCC:QA9.615 DC21:511.3/5 |
Language | English |
ID | 0000399318 |
ISBN | 0792359046 |
NCID | BA43452642 |
Similar Items
Usage statistics of this contents
Number of accesses to this page:2times