formal-system

public under concept 1247

List Picture As a command

• finite-automaton 1
• formal-grammar 1
• classical-logic
• description-logic
• lambda-calculus
• modal-logic
• propositional-logic
• type-theory

All 10 below formal-system →