Title: Introduction to HOL
Subjects: HOL (Computer file), ML (Computer program language), Automatic theorem proving, Logic, symbolic and mathematical