Mathematical operators and symbols in Unicode 1970-01-01
Read the full article
Hansen's problem 1970-01-01
Read the full article
MathML 1970-01-01
Read the full article
Semicomputable function 1970-01-01
Read the full article
Harnack's principle 1970-01-01
Read the full article
Simplification of disjunctive antecedents 1970-01-01
Read the full article
Solèr's theorem 1970-01-01
Read the full article
Superposition calculus 1970-01-01
Read the full article
Nabla symbol 1970-01-01
Read the full article
Notre Dame Journal of Formal Logic 1970-01-01
Read the full article
Tilde 1970-01-01
Read the full article
Ordered set operators 1970-01-01
Read the full article
Tombstone (typography) 1970-01-01
Read the full article
Triangle problems 1970-01-01
Read the full article
Truth function 1970-01-01
Read the full article
Truth-value semantics 1970-01-01
Read the full article
Commercial minus sign 1970-01-01
Read the full article
Homotopy principle 1970-01-01
Read the full article
Hypostatic abstraction 1970-01-01
Read the full article
John Strain (mathematician) 1970-01-01
Read the full article