関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Prooftheory -- Congresses
選択行を:
| 資料名 | 所在 |
1 | Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 / Paul W. Beame, Samuel R. Buss, editors. -- American Mathematical Society, c1998. -- (DIMACS series in discrete mathematics and theoretical computer science ; v. 39). | 理数学 410.9:B |
2 | Proof theory of modal logic / edited by Heinrich Wansing. -- Kluwer, c1996. -- (Applied logic series ; v. 2). | 教養共4F哲学 116:W |
3 | Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. -- Cambridge University Press, 1999. -- (London Mathematical Society lecture note series ; 258). | 理数学 410.9:C |
選択行を:
|