檢索結果

The Everyday Life of an Algorithm 由 Neyland, Daniel

獲取全文

Philosophical and Mathematical Logic 由 de Swart, Harrie

獲取全文

Conceptual Spaces: Elaborations and Applications

獲取全文

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

獲取全文

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

獲取全文

Mathesis Universalis, Computability and Proof

獲取全文

Constructive Semantics Meaning in Between Phenomenology and Constructivism /

獲取全文

Graham Priest on Dialetheism and Paraconsistency

獲取全文

New Essays on Belnap-­Dunn Logic

獲取全文

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

獲取全文

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

獲取全文

Readings in Formal Epistemology Sourcebook /

獲取全文

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

獲取全文

J. Michael Dunn on Information Based Logics

獲取全文

Rohit Parikh on Logic, Language and Society

獲取全文

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

獲取全文

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

獲取全文

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

獲取全文

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

獲取全文

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

獲取全文