Intuitionisme et théorie de la démonstration : textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl
著者
書誌事項
Intuitionisme et théorie de la démonstration : textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl
(Mathesis / directeurs, Michel Blay, Hourya Sinaceur)
J. Vrin, 1992
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. [543]-564