Proof Theory
A selection of papers from the Leeds Proof Theory Programme 1990
Aczel, Peter (EDT)
Simmons, Harold (EDT)
Wainer, Stanley S. (EDT)
- 出版社：Cambridge University Press
- 出版年月：2008年 02月
- ISBN：9780521054164
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：320 p.
- 分類： 集合論・論理学
- DDC分類：511