First Order Logic
Materials about first order logic are published here.
logic
FOL Logic
First Order Logic
Slides: FOL Logic
Video: FOL Logic
FOL Logic - Addenda
First Order Logic - Video Addenda
modeling
FOL Modeling
First Order Logic - Video Addenda
calculus
FOL Calculus
First Order Logic - Calculus