Hakutulokset: Kirjoja kirjailijalta Erwin Engeler
yhteensä 7 hakutulosta
The Combinatory Programme
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 …
Berechnungstheorie für Informatiker
Foundations of Mathematics
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, …
Combinatory Programme
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 …
Foundations of Mathematics
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, …
The Combinatory Programme
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 …