Logic, Symbolic and mathematical.

Quantifiers, quantifiers, and quantifiers = themes in logic, metaphysics, and language / by: (書目-語言資料,印刷品)

Lectures on the logic of computer programming / by: (書目-語言資料,印刷品)

Frege and Other Philosophers by: (書目-語言資料,印刷品)

Realizability : = an introduction to its categorical side / by: (書目-語言資料,印刷品)

The calculi of lambda-conversion / by: (書目-語言資料,印刷品)

Constructibility and Mathematical Existence by: (書目-語言資料,印刷品)

Wittgenstein: Connections and Controversies by: (書目-語言資料,印刷品)

Perspectives on universal logic / by: (書目-語言資料,印刷品)

Foundations without Foundationalism = A Case for Second-Order Logic by: (書目-語言資料,印刷品)

Thinking, feeling, and being = clinical reflections on the fundamental antinomy of human beings and world / by: (書目-語言資料,印刷品)

Hybrid logic and its proof-theory by: (書目-語言資料,印刷品)

Reductive Logic and Proof-search = Proof Theory, Semantics, and Control by: (書目-語言資料,印刷品)

The Structure of Models of Peano Arithmetic by: (書目-語言資料,印刷品)

Proofs and algorithms = an introduction to logic and computability / by: (書目-語言資料,印刷品)

Logics of Specification Languages by: (書目-語言資料,印刷品)

A science of operations = machines, logic and the invention of programming / by: (書目-語言資料,印刷品)

Information and Knowledge = A Constructive Type-theoretical Approach / by: (書目-語言資料,印刷品)

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics by: (書目-語言資料,印刷品)

Logica Universalis = Towards a General Theory of Logic / by: (書目-語言資料,印刷品)

The Enchantment of Words = Wittgenstein's “Tractatus Logico-Philosophicus” by: (書目-語言資料,印刷品)

Logic and games on automatic structures = playing with quantifiers and decompositions / by: (書目-語言資料,印刷品)

Strict finitism and the logic of mathematical applications by: (書目-語言資料,印刷品)

Institution-independent model theory / by: (書目-語言資料,印刷品)

Visualization, Explanation and Reasoning Styles in Mathematics by: (書目-語言資料,印刷品)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (書目-語言資料,印刷品)

Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday / by: (書目-語言資料,印刷品)

A Course on Mathematical Logic by: (書目-語言資料,印刷品)

A tour through mathematical logic / by: (書目-語言資料,印刷品)

Logic for computer scientists by: (書目-語言資料,印刷品)

Mathematics and mathematical logic : = new research / by: (書目-語言資料,印刷品)

Studies in weak arithmetics / by: (書目-語言資料,印刷品)

Kurt Gödel : = essays for his centennial / by: (書目-語言資料,印刷品)

Truth through proof : = a formalist foundation for mathematics / by: (書目-語言資料,印刷品)

Mathematical logic and model theory = a brief introduction / by: (書目-語言資料,印刷品)

Frege's notations = what they are and how they mean / by: (書目-語言資料,印刷品)

Quantifiers, propositions and identity : = admissible semantics for quantified modal and substructural logics / by: (書目-語言資料,印刷品)

Beyond sets : = a venture in collection-theoretic revisionism / by: (書目-語言資料,印刷品)

What is category theory? / by: (書目-語言資料,印刷品)

Knowing, reasoning, and acting : = essays in honour of Hector J. Levesque / by: (書目-語言資料,印刷品)

Set theory, arithmetic, and foundations of mathematics : = theorems, philosophies / by: (書目-語言資料,印刷品)

Text analysis pipelines = towards ad-hoc large scale text mining / by: (書目-語言資料,印刷品)

Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings / by: (書目-語言資料,印刷品)

Dependable software engineering = theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / by: (書目-語言資料,印刷品)

Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings / by: (書目-語言資料,印刷品)

KI 2015 = advances in artificial intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015 : proceedings / by: (書目-語言資料,印刷品)

Logic, mathematics, and computer science = modern foundations with practical applications / by: (書目-語言資料,印刷品)

Reachability problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings / by: (書目-語言資料,印刷品)

Special topics in mathematics for computer scientists = sets, categories, topologies and measures / by: (書目-語言資料,印刷品)

Towards an arithmetical logic = the arithmetical foundations of logic / by: (書目-語言資料,印刷品)

Conditional and preferential logics = proof methods and theorem proving / by: (書目-語言資料,印刷品)

Truth through proof = a formalist foundation for mathematics / by: (書目-語言資料,印刷品)

After G�odel = Platonism and rationalism in mathematics and logic / by: (書目-語言資料,印刷品)

Geometry of knowledge for intelligent systems by: (書目-語言資料,印刷品)

Paradoxes in probability theory by: (書目-語言資料,印刷品)

Logic and structure by: (書目-語言資料,印刷品)

Stochastic calculus with infinitesimals by: (書目-語言資料,印刷品)

Logical thinking in the pyramidal schema of concepts = the logical and mathematical elements / by: (書目-語言資料,印刷品)

A course on mathematical logic by: (書目-語言資料,印刷品)

Logical foundations of mathematics and computational complexity = a gentle introduction / by: (書目-語言資料,印刷品)

Towards a general theory of classifications by: (書目-語言資料,印刷品)

Ones and zeros = understanding Boolean algebra, digital circuits, and the logic of sets / by: (書目-語言資料,印刷品)

Institution-independent model theory by: (書目-語言資料,印刷品)

A logical introduction to proof by: (書目-語言資料,印刷品)

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

Introduction to mathematical structures and proofs by: (書目-語言資料,印刷品)

Rethinking logic = logic in relation to mathematics, evolution, and method / by: (書目-語言資料,印刷品)

Around and beyond the square of opposition by: (書目-語言資料,印刷品)

The mathematics of coordinated inference = a study of generalized hat problems / by: (書目-語言資料,印刷品)

The real numbers = an introduction to set theory and analysis / by: (書目-語言資料,印刷品)

Reactive Kripke semantics by: (書目-語言資料,印刷品)

Logic = a brief course / by: (書目-語言資料,印刷品)

Games, actions and social software = multidisciplinary aspects / by: (書目-語言資料,印刷品)

Rationis defensor = essays in honour of Colin Cheyne / by: (書目-語言資料,印刷品)

Modelling with words = learning, fusion, and reasoning within a formal linguistic representation framework / by: (書目-語言資料,印刷品)

Logic and structure by: (書目-語言資料,印刷品)

Andrzej Mostowski and foundational studies by: (書目-語言資料,印刷品)

Logic as universal science = Russell's early logicism and its philosophical context / by: (書目-語言資料,印刷品)

Gnomes in the fog : = the reception of Brouwer's intuitionism in the 1920s / by: (書目-語言資料,印刷品)

Hugh MacColl : = an overview of his logical work with anthology / by: (書目-語言資料,印刷品)

New approaches to classes and concepts / by: (書目-語言資料,印刷品)

Proofs, categories and computations : = essays in honor of Grigori Mints / by: (書目-語言資料,印刷品)

Propositional logics : = the semantic foundations of logic / by: (書目-語言資料,印刷品)

Reasoning in simple type theory : = festschrift in honour of Peter B. Andrews on his 70th birthday / by: (書目-語言資料,印刷品)

Second-order quantifier elimination : = foundations, computational aspects and applications / by: (書目-語言資料,印刷品)

Diamond = a paradox logic / by: (書目-語言資料,印刷品)

Peeling potatoes or grinding lenses = Spinoza and young Wittgenstein converse on immanence and its logic / by: (書目-語言資料,印刷品)

The algebra of logic / by: (書目-語言資料,印刷品)

David Hilbert's lectures on the foundations of arithmetic and logic, 1917-1933 / by: (書目-語言資料,印刷品)

David Makinson on classical methods for non-classical problems / by: (書目-語言資料,印刷品)

Reactive Kripke Semantics / by: (書目-語言資料,印刷品)

Alan Turing : = his work and impact / by: (書目-語言資料,印刷品)

What logics mean : = from proof theory to model-theoretic semantics / by: (書目-語言資料,印刷品)

Roads to infinity = the mathematics of truth and proof / by: (書目-語言資料,印刷品)

Alan Turing = his work and impact / by: (書目-語言資料,印刷品)

The Palgrave centenary companion to Principia Mathematica / by: (書目-語言資料,印刷品)

Wittgenstein's Tractatus = History and Interpretation / by: (書目-語言資料,印刷品)

Leniewski's systems of logic and foundations of mathematics by: (書目-語言資料,印刷品)

Explaining beauty in mathematics = an aesthetic theory of mathematics / by: (書目-語言資料,印刷品)

David Makinson on classical methods for non-classical problems by: (書目-語言資料,印刷品)

A survey of mathematical logic by: (書目-語言資料,印刷品)

Admissibility of logical inference rules by: (書目-語言資料,印刷品)

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

Constructive order types by: (書目-語言資料,印刷品)

Elements of mathematical logic = (Model theory) / by: (書目-語言資料,印刷品)

Handbook of mathematical logic by: (書目-語言資料,印刷品)

Handbook of the logic of argument and inference = the turn towards the practical / by: (書目-語言資料,印刷品)

Intensional and higher-order modal logic = with applications to Montague semantics / by: (書目-語言資料,印刷品)

Language in action = categories, lambdas, and dynamic logic / by: (書目-語言資料,印刷品)

Languages with expressions of infinite length by: (書目-語言資料,印刷品)

Logical frameworks for truth and abstraction = an axiomatic study / by: (書目-語言資料,印刷品)

Logic-based decision support = mixed integer model formulation / by: (書目-語言資料,印刷品)

Mathematical interpretation of formal systems by: (書目-語言資料,印刷品)

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

Principles of logic and logic programming by: (書目-語言資料,印刷品)

A theory of sets by: (書目-語言資料,印刷品)

Sentences undecidable in formalized arithmetic = an exposition of the theory of Kurt Godel / by: (書目-語言資料,印刷品)

Solvable cases of the decision problem by: (書目-語言資料,印刷品)

Non-standard analysis by: (書目-語言資料,印刷品)

The collected papers of Gerhard Gentzen by: (書目-語言資料,印刷品)

The logical systems of Lesniewski by: (書目-語言資料,印刷品)

The road to universal logic = Festschrift for 50th Birthday of Jean-Yves Beziau.. Volume I / by: (書目-語言資料,印刷品)

Essays on Godel's reception of Leibniz, Husserl, and Brouwer by: (書目-語言資料,印刷品)

Dag Prawitz on proofs and meaning by: (書目-語言資料,印刷品)

Abstract algebraic logic : = an introductory textbook / by: (書目-語言資料,印刷品)

Advances in proof-theoretic semantics by: (書目-語言資料,印刷品)

Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

J. Michael Dunn on information based logics by: (書目-語言資料,印刷品)

Dependence logic = theory and applications / by: (書目-語言資料,印刷品)

The congruences of a finite lattice = a "Proof-by-Picture" approach / by: (書目-語言資料,印刷品)

Readings in formal epistemology = sourcebook / by: (書目-語言資料,印刷品)

Towards paraconsistent engineering by: (書目-語言資料,印刷品)

Objectivity, realism, and proof = FilMat studies in the philosophy of mathematics / by: (書目-語言資料,印刷品)

Fuzziness in information systems = how to deal with crisp and fuzzy data in selection, classification, and summarization / by: (書目-語言資料,印刷品)

Theories of intensionality = a critical survey / by: (書目-語言資料,印刷品)

Subjective logic = a formalism for reasoning under uncertainty / by: (書目-語言資料,印刷品)

Probability logics = probability-based formalization of uncertain reasoning / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (書目-語言資料,印刷品)

Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings / by: (書目-語言資料,印刷品)

A new perspective on nonmonotonic logics by: (書目-語言資料,印刷品)

Decision procedures = an algorithmic point of view / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Deductive software verification - The KeY Book = from theory to practice / by: (書目-語言資料,印刷品)

Logical studies of paraconsistent reasoning in science and mathematics by: (書目-語言資料,印刷品)

Does mathematical study develop logical thinking? = testing the theory of formal discipline / by: (書目-語言資料,印刷品)

Applications of zero-suppressed decision diagrams by: (書目-語言資料,印刷品)

Sets and extensions in the twentieth century / by: (書目-語言資料,印刷品)

Lectures on infinitary model theory / by: (書目-語言資料,印刷品)

An introduction to practical formal methods using temporal logic by: (書目-語言資料,印刷品)

Neighborhood semantics for modal logic by: (書目-語言資料,印刷品)

Raymond Smullyan on self reference by: (書目-語言資料,印刷品)

The symbolic computation of integrability structures for partial differential equations by: (書目-語言資料,印刷品)

Feferman on foundations = logic, mathematics, philosophy / by: (書目-語言資料,印刷品)

Introduction to relation algebras = relation algebras.. Volume 1 / by: (書目-語言資料,印刷品)

Mathematical foundations of advanced informatics.. Volume 1,. Inductive approaches by: (書目-語言資料,印刷品)

The Lvov-Warsaw school, past and present by: (書目-語言資料,印刷品)

Recent advances in applications of computational and fuzzy mathematics by: (書目-語言資料,印刷品)

Mathematical logic = on numbers, sets, structures, and symmetry / by: (書目-語言資料,印刷品)

Logics for computer science = classical and non-classical / by: (書目-語言資料,印刷品)

Truth, existence and explanation = FilMat 2016 studies in the philosophy of mathematics / by: (書目-語言資料,印刷品)

Sets, models and proofs by: (書目-語言資料,印刷品)

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

Ewa Orlowska on relational methods in logic and computer science by: (書目-語言資料,印刷品)

Reasoning about uncertainty / by: (書目-語言資料,印刷品)

Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings / by: (書目-語言資料,印刷品)

Ultralogic as universal? = the Sylvan jungle.. Volume 4 / by: (書目-語言資料,印刷品)

Theorems of the 21st century.. Volume I by: (書目-語言資料,印刷品)

Logic versus approximation = essays dedicated to Michael M. Richter on the occasion of his 65th birthday / by: (書目-語言資料,印刷品)

Formal concept analysis = foundations and applications / by: (書目-語言資料,印刷品)

Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday / by: (書目-語言資料,印刷品)

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

The digital and the real world = computational foundations of mathematics, science, technology, and philosophy / by: (書目-語言資料,印刷品)

Routley-Meyer ternary relational semantics for intuitionistic-type negations / by: (書目-語言資料,印刷品)

Logic and algebraic structures in quantum computing by: (書目-語言資料,印刷品)

The origin of natural order = an axiomatic theory of biology / by: (書目-語言資料,印刷品)

Proofs 101 : = an introduction to formal mathematics / by: (書目-語言資料,印刷品)

Logics of Variable Inclusion by: (書目-語言資料,印刷品)

Hiroakira Ono on Substructural Logics by: (書目-語言資料,印刷品)

Mathematical logic through Python / by: (書目-語言資料,印刷品)

Neuro symbolic reasoning and learning by: (書目-語言資料,印刷品)

Advances in applied logics = applications of logic for philosophy, mathematics and information technology / by: (書目-語言資料,印刷品)

WAIC and WBIC with Python Stan = 100 exercises for building logic / by: (書目-語言資料,印刷品)

Logic, epistemology, and scientific theories - from peano to the Vienna Circle by: (書目-語言資料,印刷品)

Money-pump arguments / by: (書目-語言資料,印刷品)

The mathematics of logic : = a guide to completeness theorems and their applications / by: (書目-語言資料,印刷品)

Phenomenology, logic, and the philosophy of mathematics / by: (書目-語言資料,印刷品)

Wittgenstein's Tractatus : = a dialectical interpretation / by: (書目-語言資料,印刷品)

Logic and algebraic structures in quantum computing / by: (書目-語言資料,印刷品)

Lectures in logic and set theory.. Volume 2,. Set theory / by: (書目-語言資料,印刷品)

Lectures in logic and set theory.. Volume 1,. Mathematical logic / by: (書目-語言資料,印刷品)

Between logic and intuition : = essays in honor of Charles Parsons / by: (書目-語言資料,印刷品)

Uncertain inference / by: (書目-語言資料,印刷品)

Mathematical logic through Python / by: (書目-語言資料,印刷品)

A Conception of Symbolic Truth. by: (書目-語言資料,印刷品)

Formal concept analysis = mathematical foundations / by: (書目-語言資料,印刷品)

Temporal logic = from philosophy and proof theory to artificial intelligence and quantum computing / by: (書目-語言資料,印刷品)