Publication

1968 - Springer-Verlag, New York, New York (State)

Language

English

Word Count

39,500 words, Guess

Page Count

158 pages

Identifiers

Classifications

  • LCCQA9 .S57

Description

Self-contained study guide to quantification theory based on the analytic tableaux.

Subjects

Series Statement

  • Ergebnisse der Mathematik und ihrer Grenzgebiete -- Bd. 43
  • Ergebnisse der Mathematik und ihrer Grenzgebiete -- 43

Other Editions

  • First-order logicSpringer-Verlag1968-01-01
Show 4 more editions

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!