Mathematics for Computer Science
Mathematics for Computer Science
Knowledge-Based Applications Systems
Analyzing Meaning: An Introduction to Semantics and Pragmatics
Materiali didattici – Storia della semiotica – Modulo 2 2017-2018
Free Quantified Epistemic Logics
Biomedical Information Technology
A Uniform Completeness Theorem for Quantified Modal Logics
Introduction to Modal Logic
A Concise Introduction to Logic