Prawitz's Epistemic Grounding : An Investigation into the Power of Deduction
- Pris
- 675,-
Paperback
Legg i Emnet Matematisk logikk inneholder 863 produkter
Cryptography for Payment Professionals
- Pris
- 1688,-
Innbundet
Legg i R-Calculus, IV: Propositional Logic
- Pris
- 2363,-
Innbundet
Legg i Logic and Its Applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings
- Pris
- 844,-
Paperback
Legg i Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
- Pris
- 1097,-
Innbundet
Legg i Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
- Pris
- 1013,-
Paperback
Legg i Mathematical Representation of Physical Reality
- Pris
- 760,-
Innbundet
Legg i Priority of Propositions. A Pragmatist Philosophy of Logic
- Pris
- 1688,-
Innbundet
Legg i
Paperback
675,-
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
- Pris
- 1266,-
Logical Methods
- Pris
- 642,-
Paperback
Legg i Prawitz's Epistemic Grounding : An Investigation into the Power of Deduction
- Pris
- 1688,-
Innbundet
Legg i
Paperback
544,-
Inquisitive Logic : Consequence and Inference in the Realm of Questions
- Pris
- 760,-
E-bok
1744,-
Logic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
- Pris
- 2363,-
Handbook of Constructive Mathematics
- Pris
- 2532,-
Innbundet
Legg i Dynamic Logic. New Trends and Applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers
- Pris
- 760,-
Paperback
Legg i Formal Methods Teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
- Pris
- 760,-
Paperback
Legg i Applied Quantum Cryptanalysis
- Pris
- 1603,-
Innbundet
Legg i Is Maths Real? : How Simple Questions Lead Us to Mathematics’ Deepest Truths
- Pris
- 264,-
Innbundet
Legg i Price of Cake : And 99 Other Classic Mathematical Riddles
- Pris
- 512,-
E-bok
Legg i Nuts and Bolts of Proofs : An Introduction to Mathematical Proofs
- Pris
- 776,-
Paperback
Legg i Dynamics in Logic and Language : Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers
- Pris
- 760,-
Paperback
Legg i Elementary Transition to Abstract Mathematics
- Pris
- 726,-
Paperback
Legg i Understanding Behaviour of Distributed Systems Using mCRL2
- Pris
- 2532,-
Innbundet
Legg i Laws Of Form: A Fiftieth Anniversary
- Pris
- 2785,-
Innbundet
Legg i
Paperback
760,-
Cryptocurrency Concepts, Technology, and Applications
- Pris
- 2025,-
Paperback
357,-
Baseball Mysteries : Challenging Puzzles for Logical Detectives
- Pris
- 1266,-
Category Theory : Invariances and Symmetries in Computer Science
- Pris
- 2304,-
Innbundet
Legg i Kurt Gödel : The Genius of Metamathematics
- Pris
- 675,-
Innbundet
Legg i Point-Counting and the Zilber–Pink Conjecture
- Pris
- 1604,-
Innbundet
Legg i Logics of Variable Inclusion
- Pris
- 1519,-
Innbundet
Legg i Thinking and Calculating : Essays in Logic, Its History and Its Philosophical Applications in Honour of Massimo Mugnai
- Pris
- 2025,-
Innbundet
Legg i Algebras, Lattices, Varieties : Volume II
- Pris
- 2025,-
Paperback
Legg i Comparison Process for Mouse Pairs
- Pris
- 2194,-
Innbundet
Legg i Logical Approach to Automatic Sequences : Exploring Combinatorics on Words with Walnut
- Pris
- 1182,-
Paperback
Legg i
Paperback
528,-
Studies in Inductive Logic and Probability, Volume I
- Pris
- 1199,-
Mechanizing Hypothesis Formation : Principles and Case Studies
- Pris
- 2447,-
Innbundet
Legg i
Paperback
544,-
Logical Writings of Karl Popper
- Pris
- 760,-
Ernst Schröder on Algebra and Logic
- Pris
- 1857,-
Innbundet
Legg i
Paperback
726,-
Digital Forensics in the Era of Artificial Intelligence
- Pris
- 1266,-
Joy of Abstraction : An Exploration of Math, Category Theory, and Life
- Pris
- 311,-
Innbundet
Legg i Mathematical Logic and Computation
- Pris
- 1013,-
Innbundet
Legg i Reverse Mathematics : Problems, Reductions, and Proofs
- Pris
- 1350,-
Innbundet
Legg i Modern Mathematical Logic
- Pris
- 844,-
Innbundet
Legg i Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments
- Pris
- 1604,-
Innbundet
Legg i Numbers : 10 Things You Should Know
- Pris
- 156,-
Innbundet
Legg i Runtime Verification : A Hands-On Approach in Java
- Pris
- 928,-
Paperback
Legg i Souslin Quasi-Orders and Bi-Embeddability of Uncountable Structures
- Pris
- 1384,-
Paperback
Legg i Mathematical Intelligence : What We Have that Machines Don't
- Pris
- 311,-
Innbundet
Legg i Mathematical Logic through Python
- Pris
- 1013,-
Innbundet
Legg i Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
- Pris
- 544,-
Paperback
Legg i Elements of Advanced Mathematics
- Pris
- 1266,-
Innbundet
Legg i
Paperback
1013,-
Building and Solving Mathematical Programming Models : 50 Practical Examples
- Pris
- 1519,-
Motion and Genetic Definitions in the Sixteenth-Century Euclidean Tradition
- Pris
- 844,-
Paperback
Legg i
Paperback
1857,-
Objects, Structures, and Logics : FilMat Studies in the Philosophy of Mathematics
- Pris
- 1857,-
Computability
- Pris
- 1350,-
Innbundet
Legg i
Paperback
760,-
Mathematical Logic : Exercises and Solutions
- Pris
- 928,-
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics
- Pris
- 1519,-
Innbundet
Legg i Transition to Advanced Mathematics
- Pris
- 1266,-
Innbundet
Legg i
Paperback
2025,-
R-Calculus, II: Many-Valued Logics
- Pris
- 2025,-
Cherlin’s Conjecture for Finite Primitive Binary Permutation Groups
- Pris
- 760,-
Paperback
Legg i
Paperback
1350,-
Logic Without Gaps or Gluts : How to Solve the Paradoxes Without Sacrificing Classical Logic
- Pris
- 1350,-
Reasoning Web. Declarative Artificial Intelligence : 17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lectures
- Pris
- 1182,-
Paperback
Legg i
Paperback
1350,-
Artificial Intelligence Versus Natural Intelligence
- Pris
- 1350,-
John Venn : A Life in Logic
- Pris
- 559,-
Innbundet
Legg i Exoteric Square of Opposition : The Sixth World Congress on the Square of Opposition
- Pris
- 2363,-
Innbundet
Legg i At Sixes and Sevens : How to Understand Numbers and Make Maths Easy
- Pris
- 233,-
Innbundet
Legg i
Paperback
1857,-
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
- Pris
- 1857,-
Paperback
1097,-
Logic, Everyday Discourse, and Metaphysics
- Pris
- 1097,-
Complexity of Infinite-Domain Constraint Satisfaction
- Pris
- 2025,-
Innbundet
Legg i
Paperback
2194,-
Fuzzy Logic : Recent Applications and Developments
- Pris
- 2194,-
Paperback
1519,-
Awareness in Logic and Epistemology : A Conceptual Schema and Logical Study of The Underlying Main Epistemic Concepts
- Pris
- 1519,-
Paul Lorenzen -- Mathematician and Logician
- Pris
- 760,-
Innbundet
Legg i
1 til 72 av 863