L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBNLes informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Frais de port :
Gratuit
Vers Etats-Unis
Description du livre Hardcover. Etat : new. N° de réf. du vendeur 9780792359043
Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9780792359043_lsuk
Description du livre Etat : New. New. In shrink wrap. Looks like an interesting title! 1.57. N° de réf. du vendeur Q-0792359046
Description du livre Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. The book also considers the historical and philosophical context of these issues and their philosophical and methodological consequences. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics. All the main results are presented in detail. The book is self-contained and presupposes only some knowledge of elementary mathematical logic. There is an extensive bibliography. Readership: Scholars and advanced students of logic, mathematics, philosophy of science. 412 pp. Englisch. N° de réf. du vendeur 9780792359043
Description du livre Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Goedel s incompleteness th. N° de réf. du vendeur 5969010
Description du livre Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. The book also considers the historical and philosophical context of these issues and their philosophical and methodological consequences. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics. All the main results are presented in detail. The book is self-contained and presupposes only some knowledge of elementary mathematical logic. There is an extensive bibliography. Readership: Scholars and advanced students of logic, mathematics, philosophy of science. N° de réf. du vendeur 9780792359043
Description du livre Etat : New. Book is in NEW condition. N° de réf. du vendeur 0792359046-2-1
Description du livre Hardcover. Etat : new. New. Fast Shipping and good customer service. N° de réf. du vendeur Holz_New_0792359046
Description du livre Etat : new. N° de réf. du vendeur FrontCover0792359046
Description du livre Hardcover. Etat : new. New Copy. Customer Service Guaranteed. N° de réf. du vendeur think0792359046