Referinţe disponibile online

• G. Georgescu, Elemente de logică matematică, Academia Militară, 1978
• J.D. Monk, Mathematical Logic, Springer Verlag, 1976
• Open Logic Project
• Logic Matters
• Five Big Red (Open Access) Logic Books
• S. Russell, P. Norvig, Artificial Intelligence: A Modern Approach, 4th edition, Pearson, 2020
• P. Blackburn, J. Bos, K. Stiegnitz, Learn Prolog Now!, College Publications, 2001
• U. Endriss, Lecture Notes. An Introduction to Prolog Programming, Institute for Logic and Computation, Amsterdam, 2018
• K. Striegnitz, Prolog programming: a do-it-yourself course for beginners, 16th European Summer School in Logic, Language and Information, 2004

Legături utile:

• Research Center for Logic, Optimization and Security (LOS), Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest
• Institute for Logic and Data Science (ILDS) Bucharest
• LOS/IMAR/ILDS Logic Seminar
• Lean Programming Language and Theorem Prover
• Hoskinson Center for Formal Mathematics
• Matching Logic
• Alan Turing Institute
• Neurosymbolic Artificial Intelligence
• AWS Automated Reasoning Group, Amazon
• P-99: Ninety-Nine Prolog Problems
• Coq Proof Assistant
• Isabelle Proof Assistant
• AlanTuring.net, The Turing Archive for the History of Computing
• M. Davis, The Universal Computer: The Road from Leibniz to Turing, CRC Press, 2012.
• M. Vardi, From Aristotle to Pentium, 2009
• J. von Neumann, First Draft of a Report on the EDVAC, Moore School of Electrical Engineering University of Pennsylvania, 1945
• J. Y. Halpern, R. Harper, N. Immerman, P. G. Kolaitis, M. Y. Vardi, V. Vianu, On the Unusual Effectiveness of Logic in Computer Science, Bulletin of Symbolic Logic 7 (2001), 213-233