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 |
| 언어 | 영어 |
측량정보공학 = Geomatics engineering / 개정6판
526.9 조17ㅊ6
전자기학 / [원서2판]
537 아221ㅈ(2)
현대물리학 / [원서5판]
539 손833ㅎ(5)
(모두를 위한) 선형대수학
512.5 스838ㅅ
서평쓰기