Krajíček, Jan
著者名典拠詳細を表示
| コード類 | 典拠ID=AL00061582 NCID=DA07477078 |
|---|
| 1 | Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček Oxford : Clarendon Press , 1993 |
ようこそ ゲスト さん
| コード類 | 典拠ID=AL00061582 NCID=DA07477078 |
|---|
| 1 | Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček Oxford : Clarendon Press , 1993 |