ご覧頂きありがとうございます。\r即購入大歓迎です。質問も大歓迎です。\r\r【洋書】です。\r【ペーパーバック】です。\r【送料込み、匿名配送】です。\r\r#alchimie_数学\r#alchimie_ソフトウェア開発\r\r●タイトル: Basic Proof Theory second edition\r●著者: A. S. Troelstra / H. Schwichtenberg\r●定価:¥9403\r\r●ヤケ:なし ●シミ:なし ●汚れ:なし\r●破れ:なし ●スレ:なし ●キズ:なし\r●折れ:なし ●書き込み:なし\r●ページ開き癖:少し\r●ペット臭、タバコ臭:なし\r\r●その他、注意事項:\rとても良い状態ですが、一応中古品ということをご理解の上ご検討ください。\r\rfirst-order logic\rcategory theory\rmodal logic\rlinear logic