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 Algorithm & SoC Design for Automotive Vision Systems by
bigCover of the book Economic Models of Material-Product Chains for Environmental Policy Analysis by
bigCover of the book Plant and Insect Mycoplasma Techniques by
bigCover of the book Sustainable Development and Tropical Agri-chains by
bigCover of the book Ruthenium Oxidation Complexes by
bigCover of the book Human Rights of Older People by
bigCover of the book The Creation of Ideas in Physics by
bigCover of the book Non-Destructive Assessment of Concrete Structures: Reliability and Limits of Single and Combined Techniques by
bigCover of the book Philosophy of Cancer by
bigCover of the book The Mathematics Teacher in the Digital Era by
bigCover of the book Rheumatic Fever by
bigCover of the book A World Without Values by
bigCover of the book Mexican Studies in the History and Philosophy of Science by
bigCover of the book Cereal Genomics II by
bigCover of the book The Rise of the Social Sciences and the Formation of Modernity 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