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 Mathematics and Physics of Neutron Radiography by
bigCover of the book Mathematical Knowledge in Teaching by
bigCover of the book Semiconductor Power Electronics by
bigCover of the book Aesthetics and Economics by
bigCover of the book World Suffering and Quality of Life by
bigCover of the book Non-Classical Crystallization of Thin Films and Nanostructures in CVD and PVD Processes by
bigCover of the book Plant Hormone Signaling Systems in Plant Innate Immunity by
bigCover of the book Intelligence and Cognition: Contemporary Frames of Reference by
bigCover of the book Securing Electricity Supply in the Cyber Age by
bigCover of the book Sand Mining by
bigCover of the book Brain Mechanisms and Spatial Vision by
bigCover of the book Eros and Eris by
bigCover of the book Environmental Politics and Liberation in Contemporary Africa by
bigCover of the book Gender, Work, and Family in a Chinese Economic Zone by
bigCover of the book Ultra-High Temperature Materials II 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