MARC 닫기
00553nam a2200193 c 4500
000000824664
20010515120101
960109s1993 us 000a eng
▼a 0198536909
▼a 243002
▼a Clote, Peter.
▼a Arithmetic,proof theory,and computational complexity /ed. by Peter Clote & Jan Krajicek..
▼a Oxford:
▼b Clearendon Press,
▼c c1993.
▼a xii, 428 p.;
▼c 24 cm.
▼a Oxford logic guides;
▼v 23
▼a Krajicek, Jan,
▼b 67,500
▼a 단행본
▼a 511.3
▼b C646a
| 자료유형 : | 단행본 |
|---|---|
| ISBN : | 0198536909 |
| 개인저자 : | Clote, Peter. |
| 서명/저자사항 : | Arithmetic,proof theory,and computational complexity /ed. by Peter Clote & Jan Krajicek.. |
| 발행사항 : | Oxford: Clearendon Press, c1993. |
| 형태사항 : | xii, 428 p.; 24 cm. |
| 총서사항 : | Oxford logic guides; 23 |
| 개인저자 : | Krajicek, Jan, |
| 분류기호 : | 511.3 |
| 언어 | 영어 |
Knots and physics / 4th ed
514.224 K16k4
Statistics in survey sampling
519.5 K56st
Berry phases in electronic structure theory
530.411 V28b
서평쓰기