Isbn: 9781077323391 - incompleteness and computability: an open introduction to gödel's theorems (open logic project textbooks) (4 Ergebnisse)

Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

Paperback. Zustand: Brand New. 281 pages. 9.69x7.44x0.64 inches. In Stock.

, Softcover/Paperback. Zustand: Sehr gut. 328 Seiten Fresh and clean copy in good condition. Frisch erhaltenes und sauberes Exemplar in gutem Zustand. Contents: Introduction to Incompleteness - Recursive Functions - Arithmetization of Syntax - Representability in Q - Incompleteness and Provablity - Models of Arithmetic - Second-Order Logic - The Lambda Calculus - Derivations in Arithmetic Theories - First Order Logic - Natural Deduction - Biographies ISBN 9781077323391 Sprache: Englisch Gewicht in Gramm: 545. …

Zustand: Gut. Zustand: Gut | Seiten: 328 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.