Proof Complexity - Encyclopedia of Mathematics and its Applications - Krajicek, Jan (Charles University, Prague) - Books - Cambridge University Press - 9781108416849 - March 28, 2019
In case cover and title do not match, the title is correct

Proof Complexity - Encyclopedia of Mathematics and its Applications

Krajicek, Jan (Charles University, Prague)

Price
NOK 1,989
excl. VAT

Ordered from remote warehouse

Expected delivery May 1 - 14

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Proof Complexity - Encyclopedia of Mathematics and its Applications

Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. Suitable for doctoral students and researchers in mathematics and theoretical computer science.

530 pages, Worked examples or Exercises

Media Books     Hardcover Book   (Book with hard spine and cover)
Released March 28, 2019
ISBN13 9781108416849
Publishers Cambridge University Press
Pages 530
Dimensions 242 × 166 × 33 mm   ·   908 g
Language English  
Show all

More by Krajicek, Jan (Charles University, Prague)

See all of Krajicek, Jan (Charles University, Prague) ( e.g. Paperback Book and Hardcover Book )