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 Gulf War Aftermath by
bigCover of the book Geospatial Analysis and Modelling of Urban Structure and Dynamics by
bigCover of the book Towards Sustainable Building by
bigCover of the book The Sociology of Philosophical Knowledge by
bigCover of the book Anesthesiology and Pain Management by
bigCover of the book Pharmacology and Abuse of Cocaine, Amphetamines, Ecstasy and Related Designer Drugs by
bigCover of the book The Qualitative-Quantitative Distinction in the Social Sciences by
bigCover of the book Learning Trajectories, Innovation and Identity for Professional Development by
bigCover of the book Introduction to Risk and Uncertainty in Hydrosystem Engineering by
bigCover of the book Matrix Operations for Engineers and Scientists by
bigCover of the book Immunobiology of the Head and Neck by
bigCover of the book Problems in the Rheumatic Diseases by
bigCover of the book Resilience and Risk by
bigCover of the book Fundamentals of Integrated Coastal Management by
bigCover of the book The New Era of AIDS 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