Բեռնվում է…
Proof theory and intuitionistic systems /
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | English |
| Հրապարակվել է: |
Berlin ; New York :
Springer-Verlag,
1971.
|
| Շարք: | Lecture notes in mathematics (Springer-Verlag) ;
212. |
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Fundamental Scientific Library: Unknown
| Դասիչ: |
Gulb/3084 |
|---|---|
| Պատճեն Unknown | Հասանելի է Տեղադրեք պահում |