Publication

2001-06-18 - Cambridge University Press

Language

English

Word Count

69,000 words, Guess

Page Count

276 pages

Physical Format

Hardcover

Identifiers

and 5 more
  • Goodreads1856975
  • Library of Congress Control Number00040327
  • OCLC Control Number44084200
  • Better World Books9780521793070
  • Open LibraryOL7754213M

Classifications

  • LCCQA9.54 .N44 2001

First Sentence

We first discuss logical languages and rules of inference in general.

Subjects

Other Editions

  • Structural Proof TheoryHardcoverCambridge University Press2001-06-18

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!