Բեռնվում է…
Iterated inductive definitions and subsystems of analysis : Recent proof-theoretical studies /
Պահպանված է:
| Այլ հեղինակներ: | , , , |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | English |
| Հրապարակվել է: |
Berlin ; New York :
Springer-Verlag,
1981.
|
| Շարք: | Lecture notes in mathematics (Springer-Verlag) ;
897. |
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Fundamental Scientific Library: Unknown
| Դասիչ: |
Gulb/5863 |
|---|---|
| Պատճեն Unknown | Հասանելի է Տեղադրեք պահում |