Bartosz Milewski Concurrency First class functions Generic programming Memory Management (move semantics) Math nomenclature Functor Applicative Functor.
74.419 Artificial Intelligence 2005 - First-Order Predicate Logic - First-Order Predicate Logic (FOL or FOPL), also called First-Order Predicate Calculus.
formal.methods.05.predicate.logics.pdf
Notes 8: Predicate logic and inference