Symbolic Logic Creating Logic, Part 2: Expanding Logic Reading Notes
Fundamentals of logic (predicate logic and tableau, PPL, IPL) in mathematical logic utilized for reasoning mechanisms in artificial intelligence tasks.
Symbolic Logic Clojure