專業邏輯學的書可以分為不同的類型包括經典邏輯學著作、邏輯學的最新發展、推理邏輯、證明論、形式邏輯、語義邏輯等。具體可以參考下述比較知名的邏輯學書籍: 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 弗羅姆。 這些書籍涵蓋了邏輯學的多個方面可以根據自己的需求選擇閱讀。