Publication

2000-08-31 - Springer

Language

English

Word Count

69,000 words, Guess

Page Count

276 pages

Physical Format

Hardcover

Identifiers

and 3 more
  • Library of Congress Control Number00044401
  • Goodreads3231061
  • LibraryThing4072424

Classifications

  • LCCB1-5802

First Sentence

This book is about goal-directed proof-theoretical formulations of non-classical logics.

Subjects

Other Editions

  • Goal-Directed Proof Theory (Applied Logic Series Volume 21)HardcoverSpringer2000-08-31

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!