Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems /
Saved in:
Author / Creator: | Murawski, Roman. |
---|---|
Uniform title: | Funkcje rekurencyjne i elementy metamatematyki. English |
Imprint: | Dordrecht ; Boston : Kluwer Academic Publishers, c1999. |
Description: | xii, 391 p. : ill. ; 25 cm. |
Language: | English |
Series: | Synthese library v. 286 |
Subject: | |
Format: | Print Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/4144402 |
ISBN: | 0792359046 (alk. paper) |
---|---|
Notes: | Includes bibliographical references (p. 341-375) and index. |
Similar Items
-
Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla /
by: Murawski, Roman
Published: (1990) -
On undecidable propositions of formal mathematical systems.
by: Gödel, Kurt
Published: (1934) -
Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen /
by: Deutsch, Michael. 1944-
Published: (2003) -
A decision method for elementary algebra and geometry,
by: Tarski, Alfred
Published: (1951) -
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions.
by: Davis, Martin, 1928-
Published: (1965)