Librería:
Daedalus Books, Portland, OR, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Honoris Librarius
Miembro de AbeBooks desde 1996
A nice, solid copy. ; 8vo; 117 pages. N° de ref. del artículo 336126
The famous theory of undecidable sentences created by Kurt Godel in 1931 is presented as clearly and as rigorously as possible. Introductory explanations beginning with the necessary facts of arithmetic of integers and progressing to the theory of representability of arithmetical functions and relations in the system (S) prepare the reader for the systematic exposition of the theory of Godel which is taken up in the final chapter and the appendix.
Reseña del editor: The famous theory of undecidable sentences created by Kurt Godel in 1931 is presented as clearly and as rigorously as possible. Introductory explanations beginning with the necessary facts of arithmetic of integers and progressing to the theory of representability of arithmetical functions and relations in the system (S) prepare the reader for the systematic exposition of the theory of Godel which is taken up in the final chapter and the appendix.
Título: Sentences Undecidable in Formalized ...
Editorial: Greenwood Press, Westport
Año de publicación: 1982
Encuadernación: Cloth
Condición: Very Good
Condición de la sobrecubierta: No Dust Jacket As Issued
Edición: First Edition.
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Hardcover. Condición: Very Good. No Jacket. Former library book; Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G0313231516I4N11
Cantidad disponible: 1 disponibles