Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians. This small volume arose under quite differ ent circumstances, namely within the context of reworking the mathematical foundations of computer science. I have been very lucky in finding gifted students who agreed to work with me and chose, for their Ph. D. theses, subjects that arose from my own attempts 1 to create a coherent mathematical view of these foundations. The result of this collaborative work is...
Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the mo...
The work of Erwin Engeler in the logic and algebra of computer science has been influential in the development of the discipline but has become difficult to assess due to its having appeared in different types of publications. This collection of selected papers seeks to represent an original and coherent approach to the basic interrelationships between mathematics and computer science. The volume begins with the area of enrichment of classical model theory by languages which express properties representing the outcome of hypothetical computer programmes executed in a given class of...
The work of Erwin Engeler in the logic and algebra of computer science has been influential in the development of the discipline but has become diffic...
This book appeared about ten years ago in Gennan. It started as notes for a course which I gave intermittently at the ETH over a number of years. Following repeated suggestions, this English translation was commissioned by Springer; they were most fortunate in finding translators whose mathemati cal stature, grasp of the language and unselfish dedication to the essentially thankless task of rendering the text comprehensible in a second language, both impresses and shames me. Therefore, my thanks go to Dr. Roberto Minio, now Darmstadt and Professor Charles Thomas, Cambridge. The task of...
This book appeared about ten years ago in Gennan. It started as notes for a course which I gave intermittently at the ETH over a number of years. Foll...
Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians. This small volume arose under quite differ ent circumstances, namely within the context of reworking the mathematical foundations of computer science. I have been very lucky in finding gifted students who agreed to work with me and chose, for their Ph. D. theses, subjects that arose from my own attempts 1 to create a coherent mathematical view of these foundations. The result of this collaborative work is...
Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the mo...
