Böcker > Naturvetenskap & teknik > Matematik & Naturvetenskap > Matematik > Matematikens grunder > Matematisk logik Structural Proof Theory Recursive Analysis Kurt Gdel: Collected Works: Volume III Natural Reasons Lambda-Calculus and Combinators Introduction to Higher-Order Categorical Logic Mathematics and Logic The Mathematical Experience, Study Edition Statistics and Causality Mathematics and the Roots of Postmodern Thought Book of Proof The Story of Proof 18 Unconventional Essays on the Nature of Mathematics Undecidable Theories Logic Causality, Probability, and Time Aspects of Incompleteness Knowledge Engineering Oriented Matroids Basic Proof Theory A Beginners Guide to Mathematical Logic Mathematical Reasoning Organized Crime: Culture, Markets and Policies Dynamic Epistemic Logic Introduction to Mathematical Logic Model Theory : An Introduction Tracking Reason Hilbert's Programs and Beyond Sketches of an Elephant: A Topos Theory Compendium Proof Theory Fuzzy Control of Industrial Systems Logic and Discrete Mathematics Logic and Discrete Mathematics How to Read and Do Proofs Introduction to Mathematical Structures and Proofs Stochastic Petri Nets
