Gödel's theorems : a workbook on formalization : for Lauren
著者
書誌事項
Gödel's theorems : a workbook on formalization : for Lauren
(Teubner-Texte zur Mathematik, Bd. 122)
B.G. Teubner, 1991
大学図書館所蔵 件 / 全22件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographies
Summaries in English, French, German and Russian