תוצאות חיפוש

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

קבל טקסט מלא