Resultados de búsqueda

The Everyday Life of an Algorithm por Neyland, Daniel

Enlace del recurso

Philosophical and Mathematical Logic por de Swart, Harrie

Enlace del recurso

Conceptual Spaces: Elaborations and Applications

Enlace del recurso

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

Enlace del recurso

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

Enlace del recurso

Mathesis Universalis, Computability and Proof

Enlace del recurso

Constructive Semantics Meaning in Between Phenomenology and Constructivism /

Enlace del recurso

Graham Priest on Dialetheism and Paraconsistency

Enlace del recurso

New Essays on Belnap-­Dunn Logic

Enlace del recurso

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

Enlace del recurso

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

Enlace del recurso

Readings in Formal Epistemology Sourcebook /

Enlace del recurso

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

Enlace del recurso

J. Michael Dunn on Information Based Logics

Enlace del recurso

Rohit Parikh on Logic, Language and Society

Enlace del recurso

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

Enlace del recurso

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

Enlace del recurso

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

Enlace del recurso

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

Enlace del recurso

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

Enlace del recurso