Logic, Symbolic and mathematical.

Logic as universal science = Russell's early logicism and its philosophical context / by: (書目-電子資源)

Proofs and algorithms = an introduction to logic and computability / by: (書目-電子資源)

The Enchantment of Words = Wittgenstein's “Tractatus Logico-Philosophicus” by: (書目-電子資源)

Mathematical logic = foundations for information science / by: (書目-電子資源)

Visualization, Explanation and Reasoning Styles in Mathematics by: (書目-電子資源)

Elucidating the ‘Tractatus’ = Wittgenstein's Early Philosophy of Logic and Language by: (書目-電子資源)

Handbook of logic and language by: (書目-電子資源)

Cognitive reasoning = a formal approach / by: (書目-電子資源)

Analysis and Synthesis of Logics = How to Cut and Paste Reasoning Systems / by: (書目-電子資源)

Lectures in Logic and Set Theory : = Volume 1, Mathematical Logic. by: (書目-電子資源)

After G�odel = Platonism and rationalism in mathematics and logic / by: (書目-電子資源)

Mathematics, models, and modality = selected philosophical essays / by: (書目-電子資源)

Logical tools for handling change in agent-based systems by: (書目-電子資源)

Constructibility and Mathematical Existence by: (書目-電子資源)

Between logic and intuition = essays in honor of Charles Parsons / by: (書目-電子資源)

A logical introduction to proof by: (書目-電子資源)

Games, actions and social software = multidisciplinary aspects / by: (書目-電子資源)

Thinking, feeling, and being = clinical reflections on the fundamental antinomy of human beings and world / by: (書目-電子資源)

Computability and logic / by: (書目-語言資料,印刷品)

Lectures in Logic and Set Theory : = Volume 2, Set Theory. by: (書目-電子資源)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (書目-電子資源)

Around and beyond the square of opposition by: (書目-電子資源)

Mathematical logic for computer science by: (書目-電子資源)

Frege's notations = what they are and how they mean / by: (書目-電子資源)

Peeling potatoes or grinding lenses = Spinoza and young Wittgenstein converse on immanence and its logic / by: (書目-電子資源)

Diamond = a paradox logic / by: (書目-電子資源)

Uncertain inference by: (書目-電子資源)

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics by: (書目-電子資源)

Introduction to mathematical structures and proofs by: (書目-電子資源)

A Course on Mathematical Logic by: (書目-電子資源)

Mathematical logic and model theory = a brief introduction / by: (書目-電子資源)

Frege and Other Philosophers by: (書目-電子資源)

Logica Universalis = Towards a General Theory of Logic / by: (書目-電子資源)

Institution-independent model theory by: (書目-電子資源)

Temporal Logic and State Systems by: (書目-電子資源)

Lectures on the logic of computer programming by: (書目-電子資源)

Realizability = an introduction to its categorical side / by: (書目-電子資源)

Andrzej Mostowski and foundational studies by: (書目-電子資源)

Logic for computer scientists by: (書目-電子資源)

Logics of Specification Languages by: (書目-電子資源)

Louis Couturat - Traite de Logique algorithmique by: (書目-電子資源)

Wittgenstein: Connections and Controversies by: (書目-電子資源)

A concise introduction to mathematical logic by: (書目-電子資源)

Conditional and preferential logics = proof methods and theorem proving / by: (書目-電子資源)

Phenomenology, logic, and the philosophy of mathematics by: (書目-電子資源)

Mathematical logic for computer science / by: (書目-語言資料,印刷品)

Games, puzzles, and computation by: (書目-電子資源)

Rationis defensor = essays in honour of Colin Cheyne / by: (書目-電子資源)

Strict finitism and the logic of mathematical applications by: (書目-電子資源)

Logic and games on automatic structures = playing with quantifiers and decompositions / by: (書目-電子資源)

A course in mathematical logic for mathematicians by: (書目-電子資源)

Truth through proof = a formalist foundation for mathematics / by: (書目-電子資源)