Proof theory
著者
書誌事項
Proof theory
Dover Publications, 2013
2nd ed
大学図書館所蔵 件 / 全12件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographies and index
"This dover edition, first publicationed in 2013, is an unabridged republication of the work originally published in 1987 by North-Holland, Amsterdam, as volume 81 in the series studies in logic and the foundations of mathematics. the first edition was published in 1975"--T.p. verso