專業(yè)邏輯學(xué)的書有哪些？

專業(yè)邏輯學(xué)的書可以分為不同的類型包括經(jīng)典邏輯學(xué)著作、邏輯學(xué)的最新發(fā)展、推理邏輯、證明論、形式邏輯、語義邏輯等。具體可以參考下述比較知名的邏輯學(xué)書籍:
1 《邏輯學(xué)導(dǎo)論》 (Introduction to Logic)作者是A N A爛柯維奇和E V 扎米亞京。
2 《邏輯學(xué)原理》 (Logic)作者是O P W約瑟和J H S 麥科伊。
3 《形式邏輯》 (Forming the Mind: Logical Principles for Thought and Knowledge)作者是A A 托利弗和R G 奧斯汀。
4 《邏輯學(xué)導(dǎo)論》 (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 弗羅姆。
這些書籍涵蓋了邏輯學(xué)的多個(gè)方面可以根據(jù)自己的需求選擇閱讀。