Բեռնվում է…
Proof theory and intuitionistic systems /
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | English |
| Հրապարակվել է: |
Berlin ; New York :
Springer-Verlag,
1971.
|
| Շարք: | Lecture notes in mathematics (Springer-Verlag) ;
212. |
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| Ֆիզիկական նկարագրություն: | vii, 290, [1] p. 26 cm. |
|---|---|
| Մատենագիտություն: | Bibliogr.: p. 291 |
| ISBN: | 354005541X |