This classic in the field is a compact introduction to some of the basic topics of mathematical logic. Major changes in this edition include a new section on semantic trees; an expanded chapter on Axiomatic Set Theory; and full coverage of effective computability, where Turing computability is now the central notion and diagrams (flow-charts) are used to construct Turing machines. Recursion theory is covered in more detail, including the s-m-n theorem, the recursion theorem and Rice's Theorem. New sections on register machines and random access machines will be of special interest to computer science students. The proofs of the incompleteness theorems are now based on the Diagonalization Lemma and the text also covers Lob's Theorem and its connections with Godel's Second Theorem. This edition contains many new examples and the notation has been updated throughout. This book should be of interest to introductory courses for students of mathematics, philosophy, computer science and electrical engineering.
"Sinopsis" puede pertenecer a otra edición de este libro.
This classic in the field is a compact introduction to some of the basic topics of mathematical logic. Major changes in this edition include a new section on semantic trees; an expanded chapter on Axiomatic Set Theory; and full coverage of effective computability, where Turing computability is now the central notion and diagrams (flow-charts) are used to construct Turing machines. Recursion theory is covered in more detail, including the s-m-n theorem, the recursion theorem and Rice's Theorem. New sections on register machines and random access machines will be of special interest to computer science students. The proofs of the incompleteness theorems are now based on the Diagonalization Lemma and the text also covers Lob's Theorem and its connections with Godel's Second Theorem. This edition contains many new examples and the notation has been updated throughout. This book should be of interest to introductory courses for students of mathematics, philosophy, computer science and electrical engineering.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 9,78 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoEUR 13,01 gastos de envío desde Japon a España
Destinos, gastos y plazos de envíoLibrería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Hardcover. Condición: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 1.5. Nº de ref. del artículo: G0534066240I5N00
Cantidad disponible: 1 disponibles
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Hardcover. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.5. Nº de ref. del artículo: G0534066240I3N00
Cantidad disponible: 1 disponibles
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Hardcover. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.5. Nº de ref. del artículo: G0534066240I3N00
Cantidad disponible: 1 disponibles
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Hardcover. Condición: Fair. No Jacket. Missing dust jacket; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 1.5. Nº de ref. del artículo: G0534066240I5N01
Cantidad disponible: 1 disponibles
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Hardcover. Condición: Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.5. Nº de ref. del artículo: G0534066240I3N01
Cantidad disponible: 1 disponibles
Librería: Better World Books: West, Reno, NV, Estados Unidos de America
Condición: Good. Used book that is in clean, average condition without any missing pages. Nº de ref. del artículo: GRP96902732
Cantidad disponible: 1 disponibles
Librería: Gebrauchtbücherlogistik H.J. Lauterbach, Gummersbach, NRW, Alemania
Hardcover. Condición: Gut. 3., Aufl. 24 cm IX, 341 S. : Ill. ; Kunstleder mit Schutzumschlag. Sprache: Englisch, Zustand: Sehr Gut min. gebräunt (Innen); Einband (Außen) hat min. bis geringe Gebrauchsspuren; Schutzumschlag (hat leichte Gebrauchsspuren); * Die Photos sind original von uns erstellt worden, u.a. erkennbar an einem kleinen weißen Stück Papier im oberen Schnitt. Ab und an verwenden Suchmaschinen Verlagsphotos, bei den Portalen selbst, werden aber nur unsere Originalphotos gezeigt. Nº de ref. del artículo: 903989
Cantidad disponible: 1 disponibles
Librería: Anybook.com, Lincoln, Reino Unido
Condición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:0534066240. Nº de ref. del artículo: 9910017
Cantidad disponible: 1 disponibles
Librería: Antiquariat Bernhardt, Kassel, Alemania
gebundene Ausgabe. Condición: Sehr gut. Zust: Gutes Exemplar. Mit original Schutzumschlag. Mit Vorbesitzereintrag. IX, 352 Seiten, Englisch 670g. Nº de ref. del artículo: 492762
Cantidad disponible: 1 disponibles
Librería: Shoemaker Booksellers, Gettysburg, PA, Estados Unidos de America
Hardcover. Condición: Very Good. Estado de la sobrecubierta: Very Good. 3rd Edition. Very nice copy with dustjacket. Previous owners name on front free endpaper otherwise free of any markings. Nº de ref. del artículo: 30012
Cantidad disponible: 1 disponibles