Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavors attracted the most gifted among mathematicians. The present small volume arose under quite different circumstances, namely within the context of reworking the mathematical foundations of computer science.
1994 152 pp., 6 Illus.
Hardcover $49.50
ISBN 0-8176-3801-6
Progress in Theoretical Computer Science
Birkhauser.
To Order: see [AL0204S5] .