Canlyniadau Chwilio

The Everyday Life of an Algorithm gan Neyland, Daniel

Cael y testun llawn

Philosophical and Mathematical Logic gan de Swart, Harrie

Cael y testun llawn

Conceptual Spaces: Elaborations and Applications

Cael y testun llawn

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

Cael y testun llawn

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

Cael y testun llawn

Mathesis Universalis, Computability and Proof

Cael y testun llawn

Constructive Semantics Meaning in Between Phenomenology and Constructivism /

Cael y testun llawn

Graham Priest on Dialetheism and Paraconsistency

Cael y testun llawn

New Essays on Belnap-­Dunn Logic

Cael y testun llawn

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

Cael y testun llawn

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

Cael y testun llawn

Readings in Formal Epistemology Sourcebook /

Cael y testun llawn

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

Cael y testun llawn

J. Michael Dunn on Information Based Logics

Cael y testun llawn

Rohit Parikh on Logic, Language and Society

Cael y testun llawn

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

Cael y testun llawn

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

Cael y testun llawn

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

Cael y testun llawn

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

Cael y testun llawn

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

Cael y testun llawn