Linked e-resources

Details

A Note on the Ontology of Mathematics
Boolean Functional Synthesis: From Under the Hood of Solvers
Labelled Calculi for Lattice-based Modal Logics
Two Ways to Scare a Gruffalo
Determinacy Axioms and Large Cardinals
Big ideas from logic for mathematics and computing education
Modal Logic of Generalized Separated Topological Spaces
Multiple-valued Semantics for Metric Temporal Logic
Segment transit function of the induced path function of graphs and its first-order definability
Fuzzy Free Logic with Dual Domain Semantics
A New Dimension of Imperative Logic. -Quasi-Boolean based models in Rough Set theory: A case of Covering
Labelled calculi for the logics of rough concepts
An Infinity of Intuitionistic Connexive Logics
Relational Semantics for Normal Topological Quasi-Boolean Logic.

Browse Subjects

Show more subjects...

Statistics

from
to
Export