Logic, Symbolic and mathematical.

The Frege reader / by: (書目-語言資料,印刷品)

Logically determined design :clockless system design with NULL convention logic / by: (書目-電子資源)

Logically determined design :clockless system design with NULL convention logic / by: (書目-語言資料,印刷品)

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

Discrete mathematics :mathematical reasoning and proof with puzzles, patterns, and games / by: (書目-語言資料,印刷品)

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

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

Elements of logic via numbers and sets / by: (書目-語言資料,印刷品)

Foundations of Bayesianism / by: (書目-語言資料,印刷品)

The birth of model theory :Lowenheim's theorem in the frame of the theory of relatives / by: (書目-語言資料,印刷品)

Proof, logic, and conjecture :the mathematician's toolbox / by: (書目-語言資料,印刷品)

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

Foundations without Foundationalism :A Case for Second-Order Logic by: (書目-電子資源)

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

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

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

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

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

Reductive Logic and Proof-search :Proof Theory, Semantics, and Control by: (書目-電子資源)

The Structure of Models of Peano Arithmetic by: (書目-電子資源)

Educational Algebra :A Theoretical and Empirical Approach / by: (書目-電子資源)

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

Information and Knowledge :A Constructive Type-theoretical Approach / by: (書目-電子資源)

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

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

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

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

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

Mechanizing Mathematical ReasoningEssays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday / by: (書目-電子資源)

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

Formalizations of Trubetzkoy's phonology / by: (書目-語言資料,印刷品)

Tractatus logico-philosophicus; Tagebücher 1914-1916; Philosophische Untersuchungen / by: (書目-語言資料,印刷品)

Modelling with wordslearning, fusion, and reasoning within a formal linguistic representation framework / by: (書目-電子資源)

Logic versus approximationessays dedicated to Michael M. Richter on the occasion of his 65th birthday / by: (書目-電子資源)

Logic and structure by: (書目-電子資源)

An introduction to mathematical logic / by: (書目-語言資料,印刷品)

Analysis and synthesis of logics :how to cut and paste reasoning systems / by: (書目-語言資料,印刷品)

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

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

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

Structures in logic and computer sciencea selection of essays in honor of A. Ehrenfeucht / by: (書目-電子資源)

Automated deduction in classical and non-classical logicsselected papers / by: (書目-電子資源)

Learning language in logic by: (書目-電子資源)

Automata, logics, and infinite games by: (書目-電子資源)

Uncertain logics, variables, and systems by: (書目-電子資源)

Cognitive reasoninga formal approach / by: (書目-電子資源)

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

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

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

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

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

Formal concept analysisfoundations and applications / by: (書目-電子資源)

Hybrid logic and its proof-theory by: (書目-電子資源)

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

A science of operationsmachines, logic and the invention of programming / by: (書目-電子資源)

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

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

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

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

Wittgenstein's tractatusa dialectical interpretation / by: (書目-電子資源)

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

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

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

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

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

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

Logica brief course / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Diamonda paradox logic / by: (書目-電子資源)

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

Leniewski's systems of logic and foundations of mathematics by: (書目-電子資源)

Explaining beauty in mathematicsan aesthetic theory of mathematics / by: (書目-電子資源)

David Makinson on classical methods for non-classical problems by: (書目-電子資源)

Categories and types in logic, language, and physicsessays dedicated to Jim Lambek on the occasion of his 90th birthday / by: (書目-電子資源)

Algebraic circuits by: (書目-電子資源)

Set theoryexploring independence and truth / by: (書目-電子資源)

Perspectives in computational complexitythe Somenath Biswas anniversary volume / by: (書目-電子資源)

The Palgrave centenary companion to Principia Mathematica / by: (書目-電子資源)

Wittgenstein's TractatusHistory and Interpretation / by: (書目-電子資源)

Alfred Tarskiearly work in Poland : geometry and teaching / by: (書目-電子資源)

Roads to infinitythe mathematics of truth and proof / by: (書目-電子資源)

The life and work of Leon Henkinessays on his contributions / by: (書目-電子資源)

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

Alan Turinghis work and impact / by: (書目-電子資源)

The road to universal logicFestschrift 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: (書目-電子資源)

Functions and generality of logicreflections on Dedekind's and Frege's logicisms / by: (書目-電子資源)

Quantifiers, quantifiers, and quantifiersthemes in logic, metaphysics, and language / by: (書目-電子資源)

Special topics in mathematics for computer scientistssets, categories, topologies and measures / by: (書目-電子資源)

KI 2015advances in artificial intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015 : proceedings / by: (書目-電子資源)

Reachability problems9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings / by: (書目-電子資源)

Dependable software engineeringtheories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / by: (書目-電子資源)

Hardware and softwareverification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings / by: (書目-電子資源)

Logic, mathematics, and computer sciencemodern foundations with practical applications / by: (書目-電子資源)

Towards an arithmetical logicthe arithmetical foundations of logic / by: (書目-電子資源)

Text analysis pipelinestowards ad-hoc large scale text mining / by: (書目-電子資源)

Logic for programming, artificial intelligence, and reasoning20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings / by: (書目-電子資源)

Advances in proof-theoretic semantics by: (書目-電子資源)

Theory and practice of formal methodsessays dedicated to Frank de Boer on the occasion of his 60th birthday / by: (書目-電子資源)

A list of successes that can change the worldessays dedicated to Philip Wadler on the occasion of his 60th birthday / by: (書目-電子資源)

J. Michael Dunn on information based logics by: (書目-電子資源)

Dependence logictheory and applications / by: (書目-電子資源)

The congruences of a finite latticea "Proof-by-Picture" approach / by: (書目-電子資源)

Readings in formal epistemologysourcebook / by: (書目-電子資源)

Towards paraconsistent engineering by: (書目-電子資源)

Objectivity, realism, and proofFilMat studies in the philosophy of mathematics / by: (書目-電子資源)

An introduction to practical formal methods using temporal logic by: (書目-電子資源)

Fuzziness in information systemshow to deal with crisp and fuzzy data in selection, classification, and summarization / by: (書目-電子資源)

Theories of intensionalitya critical survey / by: (書目-電子資源)

Subjective logica formalism for reasoning under uncertainty / by: (書目-電子資源)

Probability logicsprobability-based formalization of uncertain reasoning / by: (書目-電子資源)

Formal methods and software engineering18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (書目-電子資源)

Hardware and softwareverification 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 proceduresan algorithmic point of view / by: (書目-電子資源)

Leveraging applications of formal methods, verification, and validation6th 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 Bookfrom theory to practice / by: (書目-電子資源)

Logical studies of paraconsistent reasoning in science and mathematics by: (書目-電子資源)

Introduction to mathematical logic / by: (書目-語言資料,印刷品)

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

Current trends on knowledge-based systems by: (書目-電子資源)

Objects and modalitiesa study in the semantics of modal logic / by: (書目-電子資源)

Does mathematical study develop logical thinking?testing the theory of formal discipline / by: (書目-電子資源)

Sets and extensions in the twentieth century by: (書目-電子資源)

Applications of zero-suppressed decision diagrams by: (書目-電子資源)

Introduction to relation algebrasrelation algebras.Volume 1 / by: (書目-電子資源)

Basic discrete mathematics :logic, set theory, & probability / by: (書目-語言資料,印刷品)

Neighborhood semantics for modal logic by: (書目-電子資源)

Raymond Smullyan on self reference by: (書目-電子資源)

Die Logik der Unbestimmtheiten und Paradoxien / by: (書目-語言資料,印刷品)

Grundparadoxien, grenzenlose Arithmetik, Mystik / by: (書目-語言資料,印刷品)

The symbolic computation of integrability structures for partial differential equations by: (書目-電子資源)

Feferman on foundationslogic, mathematics, philosophy / by: (書目-電子資源)

The Hyperuniverse project and maximality by: (書目-電子資源)

Logical formbetween logic and natural language / by: (書目-電子資源)

Mathematical foundations of advanced informatics.Volume 1,Inductive approaches by: (書目-電子資源)

Algebra, logic and combinatorics by: (書目-電子資源)

The digital and the real worldcomputational foundations of mathematics, science, technology, and philosophy / by: (書目-電子資源)

The Lvov-Warsaw school, past and present by: (書目-電子資源)

Recent advances in applications of computational and fuzzy mathematics by: (書目-電子資源)

Mathematical logicon numbers, sets, structures, and symmetry / by: (書目-電子資源)

Logics for computer scienceclassical and non-classical / by: (書目-電子資源)

Truth, existence and explanationFilMat 2016 studies in the philosophy of mathematics / by: (書目-電子資源)

Ewa Orlowska on relational methods in logic and computer science by: (書目-電子資源)

Sets, models and proofs by: (書目-電子資源)

Philosophical and mathematical logic by: (書目-電子資源)

Combinatorial algorithms26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, revised selected papers / by: (書目-電子資源)

Logic functions and equationsbinary models for computer science / by: (書目-電子資源)

The origin of natural orderan axiomatic theory of biology / by: (書目-電子資源)

Logic and algebraic structures in quantum computing by: (書目-電子資源)

Unveiling dynamics and complexity13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings / by: (書目-電子資源)

Ultralogic as universal?the Sylvan jungle.Volume 4 / by: (書目-電子資源)

Routley-Meyer ternary relational semantics for intuitionistic-type negations / by: (書目-電子資源)

Theorems of the 21st century.Volume I by: (書目-電子資源)

Cellular automata and discrete complex systems24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018 : proceedings / by: (書目-電子資源)

Reflections on the foundations of mathematicsunivalent foundations, set theory and general thoughts / by: (書目-電子資源)

Parameterized complexity in the polynomial hierarchyextending parameterized complexity theory to higher levels of the hierarchy / by: (書目-電子資源)

Foundations of information and knowledge systems11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020 : proceedings / by: (書目-電子資源)

Probabilistic extensions of various logical systems by: (書目-電子資源)

Functional and logic programming15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings / by: (書目-電子資源)

An invitation to abstract mathematics by: (書目-電子資源)

Godel's theorems and Zermelo's axiomsa firm foundation of mathematics / by: (書目-電子資源)

The foundations of computability theory by: (書目-電子資源)

Ludwig Wittgensteindictating philosophy : to Francis Skinner : the Wittgenstein-Skinner manuscripts / by: (書目-電子資源)

Discrete mathematics and graph theory :a concise study companion and guide / by: (書目-語言資料,印刷品)

Problem solving in operation management by: (書目-電子資源)

A geometric approach to the unification of symbolic structures and neural networks by: (書目-電子資源)

Algebraic perspectives on substructural logics by: (書目-電子資源)

Sequents and treesan introduction to the theory and applications of propositional sequent calculi / by: (書目-電子資源)

Premises and conclusions :symbolic logic for legal analysis / by: (書目-語言資料,印刷品)

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

Hajnal Andreka and Istvan Nemeti on unity of sciencefrom computing to relativity theory through algebraic logic / by: (書目-電子資源)

Joachim Lambekthe interplay of mathematics, logic, and linguistics / by: (書目-電子資源)

Arithmetic and algebraic circuits by: (書目-電子資源)

Mathematics, logic, and their philosophiesessays in honour of Mohammad Ardeshir / by: (書目-電子資源)

Statistical learning with math and Python100 exercises for building logic / by: (書目-電子資源)

Arnon Avron on semantics and proof theory of non-classical logics by: (書目-電子資源)

Paul Lorenzen - mathematician and logician by: (書目-電子資源)

Mathematical reasoningthe history and impact of the DReaM group / by: (書目-電子資源)

Founding mathematics on semantic conventions by: (書目-電子資源)

Aristotelian assertoric syllogisticincorporating the aristotelian Arssertoric syllogistic in the contemporary symbolic logic / by: (書目-電子資源)

Logic and implicationan introduction to the general algebraic study of non-classical logics / by: (書目-電子資源)

Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs by: (書目-電子資源)

Hiroakira Ono on substructural logics by: (書目-電子資源)

R-calculus.II,Many-valued logics by: (書目-電子資源)

Agency, norms, inquiry, and artifactsessays in honor of Risto Hilpinen / by: (書目-電子資源)

Mathematical logicexercises and solutions / by: (書目-電子資源)

Symbolic logic by: (書目-電子資源)

Logic functions and equationsfundamentals and applications using the XBOOLE-Monitor / by: (書目-電子資源)

Mathematical logic through Python by: (書目-電子資源)

Proto-algorithmic warhow the Iraq War became a laboratory for algorithmic logics / by: (書目-電子資源)

The congruences of a finite latticea "proof-by-picture" approach / by: (書目-電子資源)

Kurt Gödelresults on foundations / by: (書目-電子資源)

Neuro symbolic reasoning and learning by: (書目-電子資源)

Advances in applied logicsapplications of logic for philosophy, mathematics and information technology / by: (書目-電子資源)

WAIC and WBIC with Python Stan100 exercises for building logic / by: (書目-電子資源)

Logic, epistemology, and scientific theories - from peano to the Vienna Circle by: (書目-電子資源)

Foundations of soft logic by: (書目-電子資源)

Many-valued semantics and modal logicsessays in honour of Yuriy Vasilievich Ivlev / by: (書目-電子資源)

An invitation to mathematical logic by: (書目-電子資源)

Universal logic, ethics, and truthessays in honor of John Corcoran (1937-2021) / by: (書目-電子資源)

Temporal logicfrom philosophy and proof theory to artificial intelligence and quantum computing / by: (書目-電子資源)

Mathematical logicon numbers, sets, structures, and symmetry / by: (書目-電子資源)