Logic, Symbolic and mathematical.

Logic as universal science = Russell's early logicism and its philosophical context / by: (Electronic resources)

Proofs and algorithms = an introduction to logic and computability / by: (Electronic resources)

The Enchantment of Words = Wittgenstein's “Tractatus Logico-Philosophicus” by: (Electronic resources)

Mathematical logic = foundations for information science / by: (Electronic resources)

Visualization, Explanation and Reasoning Styles in Mathematics by: (Electronic resources)

Elucidating the ‘Tractatus’ = Wittgenstein's Early Philosophy of Logic and Language by: (Electronic resources)

Handbook of logic and language by: (Electronic resources)

Cognitive reasoning = a formal approach / by: (Electronic resources)

Analysis and Synthesis of Logics = How to Cut and Paste Reasoning Systems / by: (Electronic resources)

Lectures in Logic and Set Theory : = Volume 1, Mathematical Logic. by: (Electronic resources)

After G�odel = Platonism and rationalism in mathematics and logic / by: (Electronic resources)

Mathematics, models, and modality = selected philosophical essays / by: (Electronic resources)

Logical tools for handling change in agent-based systems by: (Electronic resources)

Constructibility and Mathematical Existence by: (Electronic resources)

Between logic and intuition = essays in honor of Charles Parsons / by: (Electronic resources)

A logical introduction to proof by: (Electronic resources)

Games, actions and social software = multidisciplinary aspects / by: (Electronic resources)

Thinking, feeling, and being = clinical reflections on the fundamental antinomy of human beings and world / by: (Electronic resources)

Computability and logic / by: (Language materials, printed)

Lectures in Logic and Set Theory : = Volume 2, Set Theory. by: (Electronic resources)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (Electronic resources)

Around and beyond the square of opposition by: (Electronic resources)

Mathematical logic for computer science by: (Electronic resources)

Frege's notations = what they are and how they mean / by: (Electronic resources)

Peeling potatoes or grinding lenses = Spinoza and young Wittgenstein converse on immanence and its logic / by: (Electronic resources)

Diamond = a paradox logic / by: (Electronic resources)

Uncertain inference by: (Electronic resources)

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics by: (Electronic resources)

Introduction to mathematical structures and proofs by: (Electronic resources)

A Course on Mathematical Logic by: (Electronic resources)

Mathematical logic and model theory = a brief introduction / by: (Electronic resources)

Frege and Other Philosophers by: (Electronic resources)

Logica Universalis = Towards a General Theory of Logic / by: (Electronic resources)

Institution-independent model theory by: (Electronic resources)

Temporal Logic and State Systems by: (Electronic resources)

Lectures on the logic of computer programming by: (Electronic resources)

Realizability = an introduction to its categorical side / by: (Electronic resources)

Andrzej Mostowski and foundational studies by: (Electronic resources)

Logic for computer scientists by: (Electronic resources)

Logics of Specification Languages by: (Electronic resources)

Louis Couturat - Traite de Logique algorithmique by: (Electronic resources)

Wittgenstein: Connections and Controversies by: (Electronic resources)

A concise introduction to mathematical logic by: (Electronic resources)

Conditional and preferential logics = proof methods and theorem proving / by: (Electronic resources)

Phenomenology, logic, and the philosophy of mathematics by: (Electronic resources)

Mathematical logic for computer science / by: (Language materials, printed)

Games, puzzles, and computation by: (Electronic resources)

Rationis defensor = essays in honour of Colin Cheyne / by: (Electronic resources)

Strict finitism and the logic of mathematical applications by: (Electronic resources)

Logic and games on automatic structures = playing with quantifiers and decompositions / by: (Electronic resources)

A course in mathematical logic for mathematicians by: (Electronic resources)

Truth through proof = a formalist foundation for mathematics / by: (Electronic resources)