Rezultati

The Everyday Life of an Algorithm od Neyland, Daniel

Polni tekst

Philosophical and Mathematical Logic od de Swart, Harrie

Polni tekst

Conceptual Spaces: Elaborations and Applications

Polni tekst

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

Polni tekst

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

Polni tekst

Mathesis Universalis, Computability and Proof

Polni tekst

Constructive Semantics Meaning in Between Phenomenology and Constructivism /

Polni tekst

Graham Priest on Dialetheism and Paraconsistency

Polni tekst

New Essays on Belnap-­Dunn Logic

Polni tekst

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

Polni tekst

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

Polni tekst

Readings in Formal Epistemology Sourcebook /

Polni tekst

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

Polni tekst

J. Michael Dunn on Information Based Logics

Polni tekst

Rohit Parikh on Logic, Language and Society

Polni tekst

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

Polni tekst

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

Polni tekst

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

Polni tekst

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

Polni tekst

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

Polni tekst