この商品を友人に教える:
Combinators, -Terms and Proof Theory - Synthese Library S. Stenlund Softcover reprint of the original 1st ed. 1972 edition
価格
¥ 17.147
税抜
遠隔倉庫からの取り寄せ
発送予定日 年9月14日 - 年9月24日
S. Stenlund の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
他の形態でも入手可能：
Combinators, -Terms and Proof Theory - Synthese Library
S. Stenlund
The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own.
194 pages, biography
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
