Risultati della ricerca

The Everyday Life of an Algorithm di Neyland, Daniel

Testo

Philosophical and Mathematical Logic di de Swart, Harrie

Testo

Conceptual Spaces: Elaborations and Applications

Testo

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

Testo

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

Testo

Mathesis Universalis, Computability and Proof

Testo

Constructive Semantics Meaning in Between Phenomenology and Constructivism /

Testo

Graham Priest on Dialetheism and Paraconsistency

Testo

New Essays on Belnap-­Dunn Logic

Testo

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

Testo

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

Testo

Readings in Formal Epistemology Sourcebook /

Testo

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

Testo

J. Michael Dunn on Information Based Logics

Testo

Rohit Parikh on Logic, Language and Society

Testo

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

Testo

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

Testo

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

Testo

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

Testo

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

Testo