関連資料一覧：（本学所蔵）
選択行を：
| 資料名 | 所在 |
| 1 | Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen. -- MIT Press, c1990. -- (The MIT Press series in artificial intelligence). | 教養共５Ｆ英語 410.1:W |
| 2 | Complexity of proofs and their transformations in axiomatic theories / V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]. -- American Mathematical Society, c1993. -- (Translations of mathematical monographs ; v. 128). | 理数学 410.9:O |
| 3 | Learning to reason : an introduction to logic, sets, and relations / Nancy Rodgers. -- John Wiley & Sons, c2000. | 教育数学 410.9:R |
| 4 | The logic of provability / George Boolos. -- Cambridge University Press, 1993. | 教養共４Ｆ哲学 116:B |
| 5 | Normalization, cut-elimination, and the theory of proofs / A.M. Ungar ; , pbk.. -- Center for the Study of Language and Information, c1992. -- (CSLI lecture notes ; no. 28). | 教養共５Ｆ英語 410.9:U |
| 6 | 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 |
| 7 | Proof, logic and formalization / edited by Michael Detlefsen. -- Routledge, 1992. | 教養（教養学部棟） 410:D |
| 8 | Proofs and fundamentals : a first course in abstract mathematics / Ethan D. Bloch ; : us, : sz. -- Birkhäuser, c2000. | 理数学 410.9:B |
| 9 | Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie. -- Kluwer Academic, c1997. -- (Applied logic series ; v. 6). | 理数学 410.9:G |
| 10 | Proof theory : an introduction / Wolfram Pohlers ; : gw, : us. -- Springer-Verlag, c1989. -- (Lecture notes in mathematics ; 1407). | 理数学 410.9:P |
選択行を：
|