ontology
logic programming
natural deduction
sublogic
second-order logic
symbolic logic
formal logic
mathematical logic
formal science
theorem
NBG
rationalism
Zermelo-Fraenkel set theory
M. J. Schleiden
Matthias Jakob Schleiden
trait
sorting
Vygotskian
categorization
categorisation
Matthias Schleiden
Schleiden
classification
quasivariety
definitionism
logic operation
logical operation
universal algebra
type erasure
mathematical sociology
conservative extension
metalogic
declarative programming
algebraic K-theory
Boolean algebra
Zinbiel algebra
Boolean logic
computronium
syllogist
syllogizer
syllogiser
predicate logic
prelogic
Hindley-Milner type system
algebraic variety
homotopy theory
modal logic
stringifier
monadic second-order logic
logic diagram