1.
Combinators, Lamda-Terms, and Proof Theory
by Stenlund, Soren
ISBN: 9789027703057
List Price: $129.00
2.
Logical Theory and Semantic Analysis
by Stenlund, Soren, Henschen-D...
ISBN: 9789027704382
List Price: $168.00