Contributions

  • Baaz, Matthias - Contributor
  • SpringerLink (Online service) - Contributor

Publication

2011 - Springer Science+Business Media B.V., Dordrecht, Netherlands

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Physical Format

Electronic resource

Identifiers

and 6 more
  • ISBN-139789400703209
  • ISBN-109400703198
  • ISBN-109400703201
  • Better World Books9789400703193
  • Better World Books9789400703209
  • Open LibraryOL25555224M

Classifications

  • LCCQA1-939
  • LCCQA8.9-10.3

Subjects

Topics

MathematicsProof theoryComputer scienceAutomatic theorem provingSymbolic and mathematical LogicMathematical Logic and FoundationsMathematical Logic and Formal Languages

Series Statement

  • Trends in Logic -- 34

Links

Other Editions

  • Methods of Cut-EliminationElectronic resourceSpringer Science+Business Media B.V.2011-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!