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) 2021.10.03 Symbolic Logic推論技術:inference Technology数理論理学:Mathematical logic
