کاربردهایی از منطق گزاره‌ای

[1] م. اردشیر، منطق ریاضی، مؤسسه‌ی انتشارات هرمس، تهران، ۱۳89.

[2] ر. اسمولیان، معماهایی در منطق ریاضی، مترجم م. شریف‌زاده، انتشارات فاطمی، تهران، ۱۳66.

[2] ه. ب. اندرتون، آشنایی با منطق ریاضی، مترجمان غ. برادران خسروشاهی و م. رجبی طرخورانی، مرکز نشر دانشگاهی، تهران، 1390.

[4] T. Dohmke, https://github.com/aimacode/aima-python/blob/master/logic.py.
[5] A. Mosley and E. Baltazar, An introduction to logic: From every day life to formal systems, Independently published, 2019.
[6] S. Russell and P. Norvig , Artificial Intelligence: A Modern Approach, Pearson; 4th edition, 2021.
[7] U. Schőning, Logic for computer scientists, Birkhäuser Boston, 2008.