Recursive Functions and Metamathematics

Problems of Completeness and Decidability, Gödel’s Theorems

Nonfiction, Science & Nature, Mathematics, Logic, Religion & Spirituality, Philosophy
Big bigCover of Recursive Functions and Metamathematics

More books from Springer Netherlands

bigCover of the book Dyslexia and Hyperlexia by
bigCover of the book Structure of the Autonomic Nervous System by
bigCover of the book Human Motivation and Interpersonal Relationships by
bigCover of the book Weather and Climate Extremes by
bigCover of the book The Theory of Committees and Elections by Duncan Black and Committee Decisions with Complementary Valuation by Duncan Black and R.A. Newing by
bigCover of the book Synthesis and Backward Reference in Husserl's Logical Investigations by
bigCover of the book Lowering the Cost of Emission Reduction: Joint Implementation in the Framework Convention on Climate Change by
bigCover of the book Continental Flood Basalts by
bigCover of the book Practical Management of Hypertension by
bigCover of the book Philosophy, History and Politics by
bigCover of the book Structural Realism by
bigCover of the book Advances in Food Protection by
bigCover of the book Machine readable labels in the blood transfusion service by
bigCover of the book Valuing the Cost of Smoking by
bigCover of the book The Logic of Analogy by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy