Stenlund, S. books & textbook
Combinators, λ-Terms and Proof Theory (Synthese Library)
Springer /2011-10-12 Paperback / 187 Pages
isbn-10: 9401029156 / isbn-13: 9789401029155
Logical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger on His Fiftieth Birthday (Synthese Library)
Stenlund, S. Henschen-Dahlquist, Ann-Mari Lindahl, L. Nordenfelt, L.Y Odelstad, Jan
Springer /2011-10-13 Paperback / 229 Pages
isbn-10: 9401021937 / isbn-13: 9789401021937
