mathematical-logic

public under logic 13, mathematics 79

List Picture As a command

• computability-theory 1
• classical-logic
• description-logic
• first-order-logic
• fuzzy-logic
• intuitionistic-logic
• modal-logic
• model-theory
• proof-theory
• propositional-logic
• type-theory

All 12 below mathematical-logic →