この商品を友人に教える:
Labelled Deduction - Applied Logic Series Luca Vigano 2000 edition
価格
¥ 18.855
税抜
遠隔倉庫からの取り寄せ
発送予定日 年9月29日 - 年10月15日
Luca Vigano の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
Labelled Deduction - Applied Logic Series
Luca Vigano
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.
278 pages, biography