Proof theoryProof theory竹内外史, SymposiumonIntuitionismandProofTheory出版社Sole distributors for the U.S.A. and Canada, Elsevier Science発売日1987-01-01ISBN9780444879431読みたい読書中読んだ詳細はこちらからAmazonで見るシェアする
