A theory of formal deducibility

保存先:
書誌詳細
第一著者: Curry, Haskell B (著者)
フォーマット: 図書
言語:英語
出版事項: Notre Dame University of Notre Dame 1950
シリーズ:Notre Dame Mathematical Lectures, 6
主題:
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!

Biblioteca de Matemática -

予約・返却請求 Biblioteca de Matemática -
請求記号: 511.3 CUR 1950
所蔵 2689553 利用可 予約する