1 books for « hedman shawn »Edit

Sort by

‎Hedman (Shawn)‎

Reference : Cyb-7234

(2004)

‎A First Course in Logic - An Introduction to Model Theory, Proof Theory, Computability and Complexity‎

‎Oxford University Press , Oxford Texts in Logic Malicorne sur Sarthe, 72, Pays de la Loire, France 2004 Book condition, Etat : Très Bon paperback, editor's printed and illustrated wrappers grand In-8 1 vol. - 451 pages‎


‎ 1st paperback Contents, Chapitres : Acknowledgments, Contents, Preliminaries, xx, Text, 431 pages - Propositional logic - Structures and first-order logic - Proof theory - Properties of first-order logic - First-order theories - Models of countable theories - Computability and complexity - The incompleteness theorems - Beyond first-order logic - Finite model theory - Bibliography and index Near fine copy, no markings‎

Librairie Internet Philoscience - Malicorne-sur-Sarthe
EUR30.00 (€30.00 )
Get it on Google Play Get it on AppStore
Search - hedman shawn
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 !