Discipline Detail
Discipline Name
Logic
of
Formal sciences
Subjects in the discipline
Mathematical logic
Set theory
Proof theory
Model theory
Recursion theory
Modal logic
Intuitionistic logic
Philosophical logic
Logical reasoning
Modal logic
Deontic logic
Doxastic logic
Logic in computer science
Programming language semantics
Formal methods / Formal verification
Type theory
Logic programming
Multi-valued logic
Fuzzy logic
Set theory
Proof theory
Model theory
Recursion theory
Modal logic
Intuitionistic logic
Philosophical logic
Logical reasoning
Modal logic
Deontic logic
Doxastic logic
Logic in computer science
Programming language semantics
Formal methods / Formal verification
Type theory
Logic programming
Multi-valued logic
Fuzzy logic
Under a discipline ....
Under a discipline you can add subjects and develop academic programs. You can also directly add other learning contents such as courses, tutorials, facts, faqs, howtos, references and terminologies