Suchergebnisse

The Everyday Life of an Algorithm von Neyland, Daniel

Volltext

Philosophical and Mathematical Logic von de Swart, Harrie

Volltext

Conceptual Spaces: Elaborations and Applications

Volltext

Reflections on the Foundations of Mathematics Univalent Foundations, Set Theory and General Thoughts /

Volltext

The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics von Bell, John L.

Volltext

Mathesis Universalis, Computability and Proof

Volltext

Constructive Semantics Meaning in Between Phenomenology and Constructivism /

Volltext

Graham Priest on Dialetheism and Paraconsistency

Volltext

New Essays on Belnap-­Dunn Logic

Volltext

Iceberg Semantics for Mass Nouns and Count Nouns A New Framework for Boolean Semantics / von Landman, Fred

Volltext

Hajnal Andréka and István Németi on Unity of Science From Computing to Relativity Theory Through Algebraic Logic /

Volltext

Readings in Formal Epistemology Sourcebook /

Volltext

Perspectives on Interrogative Models of Inquiry Developments in Inquiry and Questions /

Volltext

J. Michael Dunn on Information Based Logics

Volltext

Rohit Parikh on Logic, Language and Society

Volltext

Controlling Language in Industry Controlled Languages for Technical Documents / von Crabbe, Stephen

Volltext

Structures and Algorithms Mathematics and the Nature of Knowledge / von Fenstad, Jens Erik

Volltext

Logical Form Between Logic and Natural Language / von Iacona, Andrea

Volltext

Intuitionistic Proof Versus Classical Truth The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics / von Martino, Enrico

Volltext

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

Volltext