Symbolic Logic Creating Logic, Part I: Beginning Logic Reading Notes
A textbook of logic for artificial intelligence and basic mathematics (from propositional logic to predicate logic, and then semantics and multi-valued logic, intuitionistic logic)