-------如果这里没有任何信息，不是真没有，是我们懒！请复制书名上amazon搜索书籍信息。-------
###-Book Description Begin-###
by Russell Marcus (Author)
Paperback: 504 pages
Publisher: Oxford University Press (February 8, 2018)
Language: English
ISBN-10: 0190861789
ISBN-13: 978-0190861780
Rigorous yet intuitive and accessible, Introduction to Formal Logic provides a focused, “nuts-and-bolts” introduction to formal deductive logic that covers syntax, semantics, translation, and natural deduction for propositional and predicate logics.
For instructors who want to go beyond a basic introduction to explore the connection between formal logic techniques and philosophy, Oxford also publishes Introduction to Formal Logic with Philosophical Applications, an extended version of this text that incorporates two chapters of stand-alone essays on logic and its application in philosophy and beyond.
