Subject:

Formal system   New Search

---

View on DBpedia    View on Wikipedia

---

Top related subjects:

RELATED SUBJECTS:
The publications listed also have these subjects

---

Logic  7 times
Theorem  3 times
Logical consequence  3 times
Classical logic  3 times
Semantics  2 times
Axiom  2 times
Stochastic optimization  1 time
Programming language  1 time
Plato  1 time
Paradox  1 time
Mathematical optimization  1 time
Library  1 time
Intuitionistic logic  1 time
Functor  1 time
First-order logic  1 time
Euclidean distance  1 time
Data structure  1 time
Clause  1 time
Calculus  1 time
Buddhism  1 time
Algebraic structure  1 time

Publications tagged with this subject: 22

Note: Top 50 publications shown only. Open an item panel to view more info (open all)