A Course in Mathematical Logic. (Graduate Texts in Mathematics 53)
7 Angebote vergleichen

Von Händler/Antiquariat, Ammareal [63929678], Grigny, France.
Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1977. Ammareal reverse jusqu'à 15% du prix net de ce livre à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 1977. Ammareal gives back up to 15% of this book's net price to charity organizations.

Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, Academic Science Books.
This book is a text of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries of the last 10 to 15 years, including the independence of the continuum hypothesis, the Diophantine nature of enumerable sets and the impossibility of finding an algorithmic solution for certain problems. The book contains the first textbook presentation of Matijasevic's result. The central notions are provability and computability; the emphasis of the presentation is on aspects of the theory which are of interest to the working mathematician. Many of the approaches and topics covered are not standard parts of logic courses; they include a discussion of the logic of quantum mechanics, Goedel's constructible sets as a sub-class of von Neumann's universe, the Kolmogorov theory of complexity. Feferman's theorem on Goedel formulas as axioms and Highman's theorem on groups defined by enumerable sets of generators and relations. A number of informal digressions concerned with psychology, linguistics, and common sense logic should interest students of the philosophy of science or the humanities. Hardcover, Ausgabe: 1, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 1977-12-19, Studio: Springer, Verkaufsrang: 4780008.

Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, zubal-book.
This book is a text of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries of the last 10 to 15 years, including the independence of the continuum hypothesis, the Diophantine nature of enumerable sets and the impossibility of finding an algorithmic solution for certain problems. The book contains the first textbook presentation of Matijasevic's result. The central notions are provability and computability; the emphasis of the presentation is on aspects of the theory which are of interest to the working mathematician. Many of the approaches and topics covered are not standard parts of logic courses; they include a discussion of the logic of quantum mechanics, Goedel's constructible sets as a sub-class of von Neumann's universe, the Kolmogorov theory of complexity. Feferman's theorem on Goedel formulas as axioms and Highman's theorem on groups defined by enumerable sets of generators and relations. A number of informal digressions concerned with psychology, linguistics, and common sense logic should interest students of the philosophy of science or the humanities. Hardcover, Ausgabe: 1, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 1977-12-19, Studio: Springer, Verkaufsrang: 4780008.

Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
Course-in-Mathematical-Logic~~Iu-I-Manin, A Course In Mathematical Logic.

Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen, Tatsächliche Versandkosten können abweichen.
Von Händler/Antiquariat, vrschnepper.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen, Versandkostenfrei. Tatsächliche Versandkosten können abweichen.
Von Händler/Antiquariat, Delhi_Book_Store.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Lieferung aus: Deutschland, Versandkosten nach: Deutschland.
Von Händler/Antiquariat, asamidiver, [3201531].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen