Concepts of Proof in Mathematics, Philosophy, and Computer Science
Dieter Probst & Peter Schuster
Ontos Mathematical Logic (6)
Collaborative Data Governance - The Next Evolutionary Approach
Dataversity
Semantic Web Technologies: Trends and Research in Ontology-Based ...
Paul Warren
Shakespeare Beyond Doubt: Evidence, Argument, Controversy
Stanley Wells & Paul Edmondson
Formal and Methodological Approaches to Applied Linguistics
Sonja Mujcinovic & Eduardo Gómez Garzarán
Well-Quasi Orders in Computation, Logic, Language and Reasoning
Peter M. Schuster & Monika Seisenberger & Andreas Weiermann
Trends in Logic (53)