Logic, Symbolic and mathematical.

Logic for computer science : = foundations of automatic theorem proving / by: (Language materials, printed)

Inconsistent mathematics / by: (Language materials, printed)

The semantic foundations of logic / by: (Language materials, printed)

Handbook of logic in computer science / by: (Language materials, printed)

The deductive foundations of computer programming : = a one-volume version of The logical basis for computer programming / by: (Language materials, printed)

Set theory and its logic / by: (Language materials, printed)

Logic-based decision support : = mixed integer model formulation / by: (Language materials, printed)

Foundations of logic, 1903-05 / by: (Language materials, printed)

Introduction to mathematical logic : = set theory, computable functions, model theory / by: (Language materials, printed)

Pure logic and other minor works / by: (Language materials, printed)

Elementary logic / by: (Language materials, printed)

Symbolic and knowledge-based signal processing / by: (Language materials, printed)

Bridge to abstract mathematics : = mathematical proof and structures / by: (Language materials, printed)

Language in action : = categories, lambdas, and dynamic logic / by: (Language materials, printed)

Logic for mathematicians / by: (Language materials, printed)

Diamond : = a paradox logic / by: (Language materials, printed)

Introduction to mathematical structures and proofs / by: (Language materials, printed)

Logical number theory I : = an introduction / by: (Language materials, printed)

Optimization methods for logical inference / by: (Language materials, printed)

Infinity and the mind : = the science and philosophy of the infinite / by: (Language materials, printed)

Non-standard analysis / by: (Language materials, printed)

Introduction to mathematical logic / by: (Language materials, printed)

Mathematics and plausible reasoning / by: (Language materials, printed)

The Nature of mathematics : = a critical survey / by: (Language materials, printed)

The Limits of science : = outline of logic and of the methodology of the exact sciences / by: (Language materials, printed)

The strange logic of random graphs / by: (Language materials, printed)

Learning to reason : = an introduction to logic, sets and relations / by: (Language materials, printed)

Sets, logic and categories / by: (Language materials, printed)

The calculi of lambda-conversion / by: (Language materials, printed)

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory / by: (Language materials, printed)

On group-theoretic decision problems and their classification / by: (Language materials, printed)

The two-valued iterative systems of mathematical logic / by: (Language materials, printed)

Laws of form / by: (Language materials, printed)

Rippling : = meta-level guidance for mathematical reasoning / by: (Language materials, printed)

Reductive logic and proof-search : = proof theory, semantics, and control / by: (Language materials, printed)

Mathematical logic : = a course with exercises / by: (Language materials, printed)

Wittgenstein and the end of philosophy : = neither theory nor therapy / by: (Language materials, printed)

Logic, sets, and recursion by: (Electronic resources)

Essentials of symbolic logic by: (Electronic resources)

Theory of language syntax = categorial approach / by: (Electronic resources)

Temporal logic = from ancient ideas to artificial intelligence / by: (Electronic resources)

Piaget's logic : = a critique of genetic epistemology / by: (Language materials, printed)

Handbook of logic in artificial intelligence and logic programming.. Volume 5,. Logic programming by: (Electronic resources)

Introduction to mathematical logic / by: (Language materials, printed)

Lectures in logic and set theory.. Vol. 1,. Mathematical logic by: (Electronic resources)

Computability and logic by: (Electronic resources)

Rippling = meta-level guidance for mathematical reasoning / by: (Electronic resources)

The logic of knowledge bases by: (Electronic resources)

Foundations without Foundationalism = A Case for Second-Order Logic by: (Language materials, printed)

Constructibility and Mathematical Existence by: (Language materials, printed)

Wittgenstein: Connections and Controversies by: (Language materials, printed)

The Enchantment of Words = Wittgenstein's “Tractatus Logico-Philosophicus” by: (Language materials, printed)

Elucidating the ‘Tractatus’ = Wittgenstein's Early Philosophy of Logic and Language by: (Language materials, printed)

Reductive Logic and Proof-search = Proof Theory, Semantics, and Control by: (Language materials, printed)

Logic-based methods for optimization : = combining optimization and constraint satisfaction / by: (Language materials, printed)

Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday / by: (Electronic resources)

Visualization, Explanation and Reasoning Styles in Mathematics by: (Language materials, printed)

Logica Universalis = Towards a General Theory of Logic / by: (Language materials, printed)

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics by: (Language materials, printed)

Educational Algebra = A Theoretical and Empirical Approach / by: (Language materials, printed)

Temporal Logic and State Systems by: (Language materials, printed)

A Course on Mathematical Logic by: (Language materials, printed)

Lectures on the logic of computer programming by: (Language materials, printed)

A first course in logic : = an introduction to model theory, proof theory, computability, and complexity / by: (Language materials, printed)

Reasoning about uncertainty / by: (Language materials, printed)

Tractatus logico-philosophicus / by: (Language materials, printed)

Modelling with words = learning, fusion, and reasoning within a formal linguistic representation framework / by: (Language materials, printed)

Logic versus approximation = essays dedicated to Michael M. Richter on the occasion of his 65th birthday / by: (Electronic resources)

Routledge philosophy guidebook to Wittgenstein and the Tractatus logico-philosophicus / by: (Language materials, printed)

The mathematics of logic : = a guide to completeness theorems and their applications / by: (Language materials, printed)

Mathematical logic / by: (Language materials, printed)

Introduction to mathematical logic / by: (Language materials, printed)

Realizability = an introduction to its categorical side / by: (Language materials, printed)

Structures in logic and computer science = a selection of essays in honor of A. Ehrenfeucht / by: (Language materials, printed)

Uncertain logics, variables, and systems by: (Language materials, printed)

A course in mathematical logic for mathematicians by: (Language materials, printed)

A concise introduction to mathematical logic by: (Language materials, printed)

Logical foundations of proof complexity / by: (Language materials, printed)

Uncertain inference by: (Electronic resources)

Logic = a brief course / by: (Electronic resources)

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

Conditional and preferential logics = proof methods and theorem proving / by: (Language materials, printed)

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

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

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

A logical introduction to proof by: (Electronic resources)

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

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

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

Andrzej Mostowski and foundational studies by: (Electronic resources)

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

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

Leniewski's systems of logic and foundations of mathematics by: (Electronic resources)

Explaining beauty in mathematics = an aesthetic theory of mathematics / by: (Electronic resources)

David Makinson on classical methods for non-classical problems by: (Electronic resources)

Categories and types in logic, language, and physics = essays dedicated to Jim Lambek on the occasion of his 90th birthday / by: (Electronic resources)

Algebraic circuits by: (Electronic resources)

Perspectives in computational complexity = the Somenath Biswas anniversary volume / by: (Electronic resources)

The Palgrave centenary companion to Principia Mathematica / by: (Electronic resources)

Alan Turing = his work and impact / by: (Electronic resources)

Alfred Tarski = early work in Poland : geometry and teaching / by: (Electronic resources)

The life and work of Leon Henkin = essays on his contributions / by: (Electronic resources)

Functions and generality of logic = reflections on Dedekind's and Frege's logicisms / by: (Language materials, printed)

Quantifiers, quantifiers, and quantifiers = themes in logic, metaphysics, and language / by: (Electronic resources)

Special topics in mathematics for computer scientists = sets, categories, topologies and measures / by: (Electronic resources)

Dependable software engineering = theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / by: (Electronic resources)

Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings / by: (Electronic resources)

Logic, mathematics, and computer science = modern foundations with practical applications / by: (Electronic resources)

Towards an arithmetical logic = the arithmetical foundations of logic / by: (Electronic resources)

Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings / by: (Electronic resources)

Introduction to mathematical logic / by: (Language materials, printed)

Understanding mathematical proof / by: (Language materials, printed)

Philosophy of mathematics in the twentieth century : = selected essays / by: (Language materials, printed)

Advances in proof-theoretic semantics by: (Electronic resources)

Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday / by: (Electronic resources)

A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday / by: (Electronic resources)

J. Michael Dunn on information based logics by: (Electronic resources)

Dependence logic = theory and applications / by: (Electronic resources)

The congruences of a finite lattice = a "Proof-by-Picture" approach / by: (Electronic resources)

Readings in formal epistemology = sourcebook / by: (Electronic resources)

An introduction to practical formal methods using temporal logic by: (Electronic resources)

The Foundations of mathematics / by: (Language materials, printed)

A First course in mathematical logic and set theory / by: (Language materials, printed)

Reading Frege's Grundgesetze / by: (Language materials, printed)

Fuzziness in information systems = how to deal with crisp and fuzzy data in selection, classification, and summarization / by: (Electronic resources)

Probability logics = probability-based formalization of uncertain reasoning / by: (Electronic resources)

Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (Electronic resources)

Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings / by: (Electronic resources)

Picturing quantum processes : = a first course in quantum theory and diagrammatic reasoning / by: (Language materials, printed)

Leveraging applications of formal methods, verification, and validation = 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers / by: (Electronic resources)

Deductive software verification - The KeY Book = from theory to practice / by: (Electronic resources)

Logical studies of paraconsistent reasoning in science and mathematics by: (Electronic resources)

Current trends on knowledge-based systems by: (Electronic resources)

Objects and modalities = a study in the semantics of modal logic / by: (Electronic resources)

Does mathematical study develop logical thinking? = testing the theory of formal discipline / by: (Electronic resources)

Sets and extensions in the twentieth century / by: (Electronic resources)

Introduction to relation algebras = relation algebras.. Volume 1 / by: (Electronic resources)

Neighborhood semantics for modal logic by: (Electronic resources)

The symbolic computation of integrability structures for partial differential equations by: (Electronic resources)

Feferman on foundations = logic, mathematics, philosophy / by: (Electronic resources)

The Hyperuniverse project and maximality by: (Electronic resources)

Logical form = between logic and natural language / by: (Electronic resources)

Mathematical foundations of advanced informatics.. Volume 1,. Inductive approaches by: (Electronic resources)

Recent advances in applications of computational and fuzzy mathematics by: (Electronic resources)

Logic functions and equations = binary models for computer science / by: (Electronic resources)

The origin of natural order = an axiomatic theory of biology / by: (Electronic resources)

Logic and algebraic structures in quantum computing by: (Electronic resources)

Routley-Meyer ternary relational semantics for intuitionistic-type negations / by: (Electronic resources)

Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings / by: (Electronic resources)

Ultralogic as universal? = the Sylvan jungle.. Volume 4 / by: (Electronic resources)

Theorems of the 21st century.. Volume I by: (Electronic resources)

Foundations of information and knowledge systems = 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020 : proceedings / by: (Electronic resources)

Parameterized complexity in the polynomial hierarchy = extending parameterized complexity theory to higher levels of the hierarchy / by: (Electronic resources)

Probabilistic extensions of various logical systems by: (Electronic resources)

Problem solving in operation management by: (Electronic resources)

A geometric approach to the unification of symbolic structures and neural networks by: (Electronic resources)

Algebraic perspectives on substructural logics by: (Electronic resources)

Sequents and trees = an introduction to the theory and applications of propositional sequent calculi / by: (Electronic resources)

Mathematics, logic, and their philosophies = essays in honour of Mohammad Ardeshir / by: (Electronic resources)

Mathematical logic by: (Electronic resources)

Hajnal Andreka and Istvan Nemeti on unity of science = from computing to relativity theory through algebraic logic / by: (Electronic resources)

Knowledge in action : = logical foundations for specifying and implementing dynamical systems / by: (Language materials, printed)

Classical and fuzzy concepts in mathematical logic and applications / by: (Language materials, printed)

Statistical learning with math and Python = 100 exercises for building logic / by: (Electronic resources)

Arnon Avron on semantics and proof theory of non-classical logics by: (Electronic resources)

Functional and logic programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings / by: (Electronic resources)

An invitation to abstract mathematics by: (Electronic resources)

Godel's theorems and Zermelo's axioms = a firm foundation of mathematics / by: (Electronic resources)

The foundations of computability theory by: (Electronic resources)

Ludwig Wittgenstein = dictating philosophy : to Francis Skinner : the Wittgenstein-Skinner manuscripts / by: (Electronic resources)

Mathematical reasoning = the history and impact of the DReaM group / by: (Electronic resources)

Aristotelian assertoric syllogistic = incorporating the aristotelian Arssertoric syllogistic in the contemporary symbolic logic / by: (Electronic resources)

Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs by: (Electronic resources)

R-calculus.. II,. Many-valued logics by: (Electronic resources)

Agency, norms, inquiry, and artifacts = essays in honor of Risto Hilpinen / by: (Electronic resources)

Logic functions and equations = fundamentals and applications using the XBOOLE-Monitor / by: (Electronic resources)

Proto-algorithmic war = how the Iraq War became a laboratory for algorithmic logics / by: (Electronic resources)

Neuro symbolic reasoning and learning by: (Electronic resources)

Advances in applied logics = applications of logic for philosophy, mathematics and information technology / by: (Electronic resources)

An invitation to mathematical logic by: (Electronic resources)

Universal logic, ethics, and truth = essays in honor of John Corcoran (1937-2021) / by: (Electronic resources)

Many-valued semantics and modal logics = essays in honour of Yuriy Vasilievich Ivlev / by: (Electronic resources)

Formal concept analysis = mathematical foundations / by: (Electronic resources)

WAIC and WBIC with Python Stan = 100 exercises for building logic / by: (Electronic resources)

Logic, epistemology, and scientific theories - from peano to the Vienna Circle by: (Electronic resources)

New directions in relevant logic by: (Electronic resources)

Institution-independent model theory by: (Electronic resources)

Limits of mathematics = a journey through the key areas of mathematical logic / by: (Electronic resources)

Russell, Gödel, Tarski = selected papers on the philosophy of logic and mathematics / by: (Electronic resources)

An introduction to symbolic logic / by: (Language materials, printed)

Andrzej Mostowski and foundational studies / by: (Language materials, printed)

Essentials of symbolic logic by: (Language materials, printed)

Symbolic logic and mechanical theorem proving by: (Language materials, printed)

Constructive order types. by: (Language materials, printed)

How to read and do proofs : = an introduction to mathematical thought processes / by: (Language materials, printed)

Invariance and structural dependence / by: (Language materials, printed)

Elements of logic via numbers and sets / by: (Language materials, printed)

How to prove it : = a structured approach / by: (Language materials, printed)

Handbook of logic in artificial intelligence and logic programming / by: (Language materials, printed)

A formalization of set theory without variables / by: (Language materials, printed)

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

How to read and do proofs : = an introduction to mathematical thought processes / by: (Language materials, printed)

Discrete structures, logic, and computability by: (Electronic resources)

The determinacy of long games / by: (Language materials, printed)

Representing and reasoning with probabilistic knowledge = a logical approach to probabilities / by: (Electronic resources)

Handbook of logic in computer science.. Volume 5,. Logic and algebraic methods by: (Electronic resources)

Logic versus approximation = essays dedicated to Michael M. Richter on the occasion of his 65th birthday / by: (Electronic resources)

Mathematical logic in the 20th century by: (Electronic resources)

Paradox and paraconsistency = conflict resolution in the abstract sciences / by: (Electronic resources)

Frege and Other Philosophers by: (Language materials, printed)

The Structure of Models of Peano Arithmetic by: (Language materials, printed)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (Language materials, printed)

Logics of Specification Languages by: (Language materials, printed)

Information and Knowledge = A Constructive Type-theoretical Approach / by: (Language materials, printed)

Analysis and Synthesis of Logics = How to Cut and Paste Reasoning Systems / by: (Language materials, printed)

Discrete mathematics and its applications / by: (Language materials, printed)

Logic, sets, and recursion / by: (Language materials, printed)

Discrete mathematics : = mathematical reasoning and proof with puzzles, patterns, and games / by: (Language materials, printed)

Classical mathematical logic : = the semantic foundations of logic / by: (Language materials, printed)

Logic and structure by: (Language materials, printed)

Foundations of logic and mathematics : = applications to computer science and cryptography / by: (Language materials, printed)

Introduction to mathematics of satisfiability / by: (Language materials, printed)

Automated deduction in classical and non-classical logics = selected papers / by: (Language materials, printed)

Learning language in logic by: (Language materials, printed)

Automata, logics, and infinite games by: (Language materials, printed)

Cognitive reasoning = a formal approach / by: (Language materials, printed)

Mathematical logic = foundations for information science / by: (Language materials, printed)

Logical tools for handling change in agent-based systems by: (Language materials, printed)

Louis Couturat - Traite de Logique algorithmique by: (Language materials, printed)

Formal concept analysis = foundations and applications / by: (Electronic resources)

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

Collected works / by: (Language materials, printed)

Handbook of logic and language by: (Electronic resources)

Hybrid logic and its proof-theory by: (Electronic resources)

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

A science of operations = machines, logic and the invention of programming / by: (Electronic resources)

Diamond : = a paradox logic / by: (Language materials, printed)

Wittgenstein's tractatus = a dialectical interpretation / by: (Electronic resources)

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

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

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

Lectures in logic and set theory.. Volume 2,. Set theory / by: (Language materials, printed)

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

Institution-independent model theory by: (Electronic resources)

Qualitative spatio-temporal representation and reasoning : = trends and future directions / by: (Language materials, printed)

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

Appalachian set theory : = 2006-2012 / by: (Language materials, printed)

An Introduction to Godel's theorems / by: (Language materials, printed)

Logicism and its philosophical legacy / by: (Language materials, printed)

Logic's lost genius : = the life of Gerhard Gentzen / by: (Language materials, printed)

Alan Turing : = his work and impact / by: (Language materials, printed)

Geometry of knowledge for intelligent systems / by: (Language materials, printed)

Paradoxes in probability theory / by: (Language materials, printed)

Collected works / by: (Language materials, printed)

Set theory = exploring independence and truth / by: (Electronic resources)

Regles : = pour la direction de l'esprit / by: (Language materials, printed)

Wittgenstein's Tractatus = History and Interpretation / by: (Electronic resources)

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

The road to universal logic = Festschrift for 50th Birthday of Jean-Yves Beziau.. Volume I / by: (Electronic resources)

Essays on Godel's reception of Leibniz, Husserl, and Brouwer by: (Electronic resources)

Dag Prawitz on proofs and meaning by: (Electronic resources)

KI 2015 = advances in artificial intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015 : proceedings / by: (Electronic resources)

Reachability problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings / by: (Electronic resources)

Text analysis pipelines = towards ad-hoc large scale text mining / by: (Electronic resources)

Interpreting Gödel : = critical essays / by: (Language materials, printed)

Towards paraconsistent engineering by: (Electronic resources)

Objectivity, realism, and proof = FilMat studies in the philosophy of mathematics / by: (Electronic resources)

Theories of intensionality = a critical survey / by: (Electronic resources)

Subjective logic = a formalism for reasoning under uncertainty / by: (Electronic resources)

A new perspective on nonmonotonic logics by: (Electronic resources)

Decision procedures = an algorithmic point of view / by: (Electronic resources)

Applications of zero-suppressed decision diagrams by: (Electronic resources)

Raymond Smullyan on self reference by: (Electronic resources)

Functional interpretations : = From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory / / by: (Language materials, printed)

Justification logic = reasoning with reasons / by: (Electronic resources)

Arithmetic and algebraic circuits by: (Electronic resources)

Joachim Lambek = the interplay of mathematics, logic, and linguistics / by: (Electronic resources)

Paul Lorenzen - mathematician and logician by: (Electronic resources)

Founding mathematics on semantic conventions by: (Electronic resources)

Hiroakira Ono on substructural logics by: (Electronic resources)

Mathematical logic = exercises and solutions / by: (Electronic resources)

Symbolic logic by: (Electronic resources)

Logic and implication = an introduction to the general algebraic study of non-classical logics / by: (Electronic resources)

The congruences of a finite lattice = a "proof-by-picture" approach / by: (Electronic resources)

Mathematical logic through Python by: (Electronic resources)

Kurt Gödel = results on foundations / by: (Electronic resources)

Mathematical logic = on numbers, sets, structures, and symmetry / by: (Electronic resources)

Foundations of soft logic by: (Electronic resources)

Temporal logic = from philosophy and proof theory to artificial intelligence and quantum computing / by: (Electronic resources)

Gödel's theorems and Zermelo's axioms = a firm foundation of mathematics / by: (Electronic resources)

Algebra, logic and combinatorics by: (Electronic resources)

Chance, logic and intuition : = an introduction to the counter-intuitive logic of chance / by: (Language materials, printed)

Set theory and the continuum hypothesis / by: (Language materials, printed)

The digital and the real world = computational foundations of mathematics, science, technology, and philosophy / by: (Electronic resources)