MARC 닫기
00642cacoa22001811u SKA
000000329945
20120926201548
940113s197 us 000 eng
▼a KMAL
▼l AZ0000063878
▼v 212
▼a 510.8
▼a 510.8
▼b L49L
▼a Lecture notes in mathematics.
▼a New York:
▼b Springer,
▼c 197.
▼a vols.;
▼c 25 cm.
▼b v.212-Proof theory and intuitionistic systems, by B. Scarpellini
▼a LECTURE
▼a NOTES
▼a IN
▼a MATHEMATICS
▼a PROOF
▼a THEORY
▼a AND
▼a INTUITIONISTIC
▼a SYSTEMS
▼a Scarpellini, B.
▼t Proof theory and intuitionistic systems,
▼a Proof theory and intuitionistic systems
▼a 단행본
▼a 510.8
▼b L49L
| 자료유형 : | 단행본 |
|---|---|
| 분류기호 : | 510.8 |
| 서명/저자사항 : | Lecture notes in mathematics. |
| 발행사항 : | New York: Springer, 197. |
| 형태사항 : | vols.; 25 cm. |
| 내용주기 : | |
| 개인저자 : | Scarpellini, B. |
| 분류기호 : | 510.8 |
| 언어 | 영어 |
초전도체 : 양자 시대를 여는 꿈의 물질
537.623 김19ㅊ
평행우주 : 우리가 알고 싶은 우주에 대한 모든 것
523.1 미819ㅍ
한국의 지형 = Korean landform
551.410951 권225ㅎ
Quantum field theory in a nutshell / 2nd ed
530.143 Z2q2
Statistics in survey sampling
519.5 K56st
Berry phases in electronic structure theory
530.411 V28b
서평쓰기