Mathematics MOC

Logic MOC

Different logics

• th-order logic
• st-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 | #state/develop