Contributions

  • Schroeder-Heister, Peter - Contributor

Publication

2014 - Springer, Cham, No place, unknown, or undetermined

Language

English

Word Count

70,750 words, Guess

Page Count

283 pages

Identifiers

  • ISBN-139783319071176
  • ISBN-139783319071183
  • ISBN-103319071173
  • ISBN-103319071181
  • Better World Books9783319071183
and 1 more

Classifications

  • LCCTA1-2040

Description

Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages

Subjects

Links

Other Editions

  • Advances in Proof-Theoretic SemanticsSpringer2014

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!