[ About ]
[ CV ]
[ Blog ]
[ Notes ]
[
Light
]
直接看教材还是有点难于理解
Propositional Logic (PL)
First Order Logic (FOL)
Model Logic