Combinators, -Terms and Proof Theory - Synthese Library - S. Stenlund - 書籍 - Springer - 9789401029155 - 2011年10月12日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

S. Stenlund
Combinators, -Terms and Proof Theory - Synthese Library Softcover reprint of the original 1st ed. 1972 edition

価格
¥ 17.084
税抜

遠隔倉庫からの取り寄せ

発送予定日 年7月30日 - 年8月11日
S. Stenlund の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

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

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2011年10月12日
ISBN13 9789401029155
出版社 Springer
ページ数 177
寸法 155 × 235 × 10 mm   ·   276 g
言語 英語  

同じ出版社からのその他の記事

S. Stenlundのすべてを見る ( 例： Hardcover Book および Paperback Book )