1 books for « krajicek jan »Edit

PDF RSS E-mail
Sort by

‎Krajicek (Jan)‎

Reference : Cyb-7227

(1995)

See the book

‎Bounded Arithmetic, Propositional Logic, and Complexity Theory‎

‎Cambridge, University Press , Encyclopedia of Mathematics and its Applications Malicorne sur Sarthe, 72, Pays de la Loire, France 1995 Book condition, Etat : Très Bon hardcover, editor's binding, under editor's printed dust-jacket grand In-8 1 vol. - 357 pages‎

‎ 1st Edition Contents, Chapitres : Contents, Prefaces, Acknowledgments, xiv, Text, 343 pages - Basic complexity theory - Basic propositional logic - Basic bounded arithmetic - Definability of computation - Witnessing theorems - Definability and witnessing in second order theories - Translations of arithmetic formulas - Finite axiomatizability problem - Direct independence proofs - Bounds for constant-depth Frege systems - Bounds for Frege and extended Frege systems - Hard tautologies and optimal proof systems - Strength of bounded arithmetic Near fine copy, no markings‎

Librairie Internet Philoscience - Malicorne-sur-Sarthe
EUR35.00 (€35.00 )
Go to top
Get it on Google Play Get it on AppStore
Search - krajicek jan
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 !