Intermediate Logic

Intermediate Logic book cover

Intermediate Logic

Author(s): David Bostock (Author)

  • Publisher: Oxford University Press, USA
  • Publication Date: 9 Oct. 1997
  • Language: English
  • Print length: 404 pages
  • ISBN-10: 0198751427
  • ISBN-13: 9780198751427

Book Description

Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technical grounding. The author introduces and explains each concept and term, ensuring readers have a firm foundation for study. He provides a broad, deep understanding of logic by adopting and comparing a variety of different methods and approaches

Editorial Reviews

Review

This textbook covers the fundamental proof-theoretical and model-theoretical aspects of classical propositional and first-order logic. . . .The book is clearly written and ideally suited for an intermediate course on the subject, requiring just some elementary knowledge of proof theory and model theory. ― Mathematical Reviews

From the Back Cover

Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technical grounding.

View on Amazon

电子书代发PDF格式价格30我要求助
未经允许不得转载:Wow! eBook » Intermediate Logic