• Contact
  • Submissions
  • About
  • Updates
  • Journals
  • Books
  • Subscribe To Open
    • Authors
    • Libraries
    • Booksellers
BooksStandalone TitlesCollected Volumepp. 221–232

Proof Complexity

  • Jan Krajícek

    Czech Academy of Sciences, Prague, Czech Republic
Proof Complexity cover
Download Chapter PDF

A subscription is required to access this book chapter.

Abstract

This note, based on my 4ECM lecture, exposes few basic points of proof complexity in a way accessible to any mathematician.

Publication Date

30 June 2005

DOI
10.4171/009-1/14
  • Contact
  • Legal Notice
  • Privacy Policy
  • Accessibility Statement

© 2022 EMS Press
EMS Press is an imprint of the European Mathematical Society - EMS - Publishing House GmbH,
a subsidiary of the European Mathematical Society.