Combinators, λ-Terms and Proof Theory

Nonfiction, Religion & Spirituality, Philosophy, Logic
Big bigCover of Combinators, λ-Terms and Proof Theory

More books from Springer Netherlands

bigCover of the book The Medieval Warm Period by
bigCover of the book Religion and Scientific Method by
bigCover of the book Law and Economics in Europe by
bigCover of the book Geohazards by
bigCover of the book Basic Principles of Plate Theory by
bigCover of the book Advances in Citrus Nutrition by
bigCover of the book Recycling, International Trade and the Environment by
bigCover of the book Logic and Lexicon by
bigCover of the book God, Reason and Religions by
bigCover of the book Practical Management of Hypertension by
bigCover of the book Advances in Abdominal Surgery by
bigCover of the book Philosophy, Language, and Artificial Intelligence by
bigCover of the book Literature and Society by
bigCover of the book Heidegger’s Metahistory of Philosophy: Amor Fati, Being and Truth by
bigCover of the book Migration in China and Asia 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