Բեռնվում է…
Proof theory and intuitionistic systems /
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | English |
| Հրապարակվել է: |
Berlin ; New York :
Springer-Verlag,
1971.
|
| Շարք: | Lecture notes in mathematics (Springer-Verlag) ;
212. |
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| LEADER | 00797cam a2200253 4500 | ||
|---|---|---|---|
| 001 | 000462219 | ||
| 003 | AM-YeHGA | ||
| 005 | 20210831142714.0 | ||
| 008 | 710916s1971 |||||||||b||||000|0|eng|d | ||
| 020 | |a 354005541X | ||
| 035 | |a (DLC) 78169705 | ||
| 040 | |a AM-YeHGA |c AM-YeHGA | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Scarpellini, Bruno | |
| 245 | 1 | 0 | |a Proof theory and intuitionistic systems / |c Bruno Scarpellini. |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c 1971. | ||
| 300 | |a vii, 290, [1] p. |c 26 cm. | ||
| 490 | 1 | |a Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann |v 212 | |
| 504 | |a Bibliogr.: p. 291 | ||
| 650 | 0 | |a Intuitionistic mathematics | |
| 650 | 0 | |a Proof theory | |
| 830 | 0 | |a Lecture notes in mathematics (Springer-Verlag) ; |v 212. | |
| 999 | |c 169934 | ||
| 952 | |o Gulb/3084 |p 901003084 | ||