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 What Counts in Teaching Mathematics by
bigCover of the book Thought and Faith in the Philosophy of Hegel by
bigCover of the book Child Nutrition in South East Asia by
bigCover of the book The Self and The Other by
bigCover of the book The Essential Tension by
bigCover of the book Corrosion in Systems for Storage and Transportation of Petroleum Products and Biofuels by
bigCover of the book The Pedagogy of Physical Science by
bigCover of the book Lessons learned from Long-term Soil Fertility Management Experiments in Africa by
bigCover of the book The Origin and the Overcoming of Evil and Suffering in the World Religions by
bigCover of the book The Great Chain of Being and Italian Phenomenology by
bigCover of the book Handbook Of Electronics Packaging Design and Engineering by
bigCover of the book Law and Economics in Europe by
bigCover of the book Christianity, Antiquity, and Enlightenment by
bigCover of the book Designing Assessment for Quality Learning by
bigCover of the book Terrestrial Biospheric Carbon Fluxes Quantification of Sinks and Sources of CO2 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