Rezultaty

The Everyday Life of an Algorithm od Neyland, Daniel

Dokumenty pełnotekstowe

Philosophical and Mathematical Logic od de Swart, Harrie

Dokumenty pełnotekstowe

Conceptual Spaces: Elaborations and Applications

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe

Mathesis Universalis, Computability and Proof

Dokumenty pełnotekstowe

Constructive Semantics Meaning in Between Phenomenology and Constructivism /

Dokumenty pełnotekstowe

Graham Priest on Dialetheism and Paraconsistency

Dokumenty pełnotekstowe

New Essays on Belnap-­Dunn Logic

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe

Readings in Formal Epistemology Sourcebook /

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe

J. Michael Dunn on Information Based Logics

Dokumenty pełnotekstowe

Rohit Parikh on Logic, Language and Society

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe