‎Goldstern Martin Judah Haim‎
‎The Incompleteness Phenomenon: A New Course in Mathematical Logic‎

‎A K Peters/CRC Press 1998 264 pages 15 24x1 78x22 61cm. 1998. Broché. 264 pages.‎

Reference : 100137765


‎proche du neuf ex-libris légères ternissures sur la tranche‎

€74.00 (€74.00 )
Bookseller's contact details

Un Autre Monde
M. Emmanuel Arnaiz

contact@crealivres.com

07.69.73.87.31

Contact bookseller

Payment mode
Cheque
Transfer
Others
Sale conditions

Conformes aux usages de la librairie ancienne.

Contact bookseller about this book

Enter these characters to validate your form.
*
Send

1 book(s) with the same title

‎Goldstern (Martin) and Judah (Haim)‎

Reference : Cyb-7236

(1998)

‎The Incompleteness Phenomenon - A New Course in Mathematical Logic‎

‎A.K. Peters Malicorne sur Sarthe, 72, Pays de la Loire, France 1998 Book condition, Etat : Très Bon paperback, editor's printed wrappers In-8 1 vol. - 260 pages‎


‎ Contents, Chapitres : Contents, Foreword, Introduction, xiii, Text, 247 pages - 1. The framework of logic : Induction - Semantic logic - First order logic - Proof systems - 2. Completeness : Enumerability - The completeness theorem - Nonstandard models of arithmetic - 3. Model theory : Elementary substructures and chains - Ultraproducts and compactness - Types and countable models - 4. The incompleteness theorem : The language of Peano arithmetic - The axioms of Peano arithmetic - Basic theorems of number theory in PA - Econding finite sequences of numbers - Gödel numbers - Substitution - The incompleteness theorem - Other axiom systems - Bounded formulas - A finer analysis of 4.4 and 4.5 - More on recursive sets and functions Near fine copy, no markings‎

Librairie Internet Philoscience - Malicorne-sur-Sarthe
EUR20.00 (€20.00 )
Get it on Google Play Get it on AppStore
The item was added to your cart
You have just added :

-

There are/is 0 item(s) in your cart.
Total : €0.00
(without shipping fees)
What can I do with a user account ?

What can I do with a user account ?

  • All your searches are memorised in your history which allows you to find and redo anterior searches.
  • You may manage a list of your favourite, regular searches.
  • Your preferences (language, search parameters, etc.) are memorised.
  • You may send your search results on your e-mail address without having to fill in each time you need it.
  • Get in touch with booksellers, order books and see previous orders.
  • Publish Events related to books.

And much more that you will discover browsing Livre Rare Book !