Böcker > Naturvetenskap & teknik > Matematik & Naturvetenskap > Matematik > Matematikens grunder > Matematisk logik Is Maths Real? Systems and Software Verification Introduction to Logic and to the Methodology of Deductive Sciences Mathematics of Quantum Computation Ludwig Wittgenstein: Dictating Philosophy Mathematical Analysis and Proof 1000+ Sudoku An Introduction to the Language of Category Theory Formal Aspects of Component Software Sets, Logic and Categories The Language of Mathematics Semirings, Automata, Languages Logic, Language, Information, and Computation Handbook of Epistemic Logic Advances in Modal Logic Volume 9 Statistical Learning with Math and Python The Evolution of Conceptual Modeling On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages Mathematics of Discrete Structures for Computer Science Cool japanese puzzles (Volume 5) Walk Through Combinatorics, A: An Introduction To Enumeration And Graph Theory (Third Edition) Coevolutionary Fuzzy Modeling Magic Garden Of George B And Other Logic Puzzles, The Elements of Finite Model Theory Basic Discrete Mathematics: Logic, Set Theory, And Probability Nonstandard Analysis, Axiomatically Theory of Sets Who Killed Professor X? Meaning in Dialogue Deduction, Computation, Experiment Subjective Logic Springer Handbook of Model-Based Science Reasoning Web. Semantic Technologies for Intelligent Data Access Paul Lorenzen -- Mathematician and Logician Can Mathematics Be Proved Consistent? Concrete Semantics
