Mathematics MOC Logic MOC Different logics 0th-order logic 1st-order logic Higher order logic Formal systems Formal language Formal system Proof system Formal theory Misc Heyting Logic Important concepts Sense and denotation Related Informal Reasoning MOC Semantics MOC Type theory MOC Bibliography 1989. Proofs and types 2015. Introduction to Mathematical Logic MOC | develop