专业逻辑学的书有哪些？

专业逻辑学的书可以分为不同的类型包括经典逻辑学著作、逻辑学的最新发展、推理逻辑、证明论、形式逻辑、语义逻辑等。具体可以参考下述比较知名的逻辑学书籍:
1 《逻辑学导论》 (Introduction to Logic)作者是A N A烂柯维奇和E V 扎米亚京。
2 《逻辑学原理》 (Logic)作者是O P W约瑟和J H S 麦科伊。
3 《形式逻辑》 (Forming the Mind: Logical Principles for Thought and Knowledge)作者是A A 托利弗和R G 奥斯汀。
4 《逻辑学导论》 (Introduction to Logic)作者是A N A烂柯维奇和E V 扎米亚京。
5 《证明论》 (Logic and Inference)作者是R A 弗罗姆和J H S 麦科伊。
6 《推理逻辑》 (Logic of Inference)作者是G E 普雷斯顿和R A 弗罗姆。
7 《形式逻辑》 (Forming the Mind: Logical Principles for Thought and Knowledge)作者是A A 托利弗和R G 奥斯汀。
8 《语义逻辑》 (Semantics)作者是G H 普雷斯顿和R A 弗罗姆。
这些书籍涵盖了逻辑学的多个方面可以根据自己的需求选择阅读。