Genitzen's second Consistency proof and predicative analysis.
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
Basel
1974
|
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Նյութի նկարագրություն: | SCHÖNHEIN, Roger: -- Genitzen's second Consistency proof and -- predicative analysis. - Basel 1974 -- Basel, nat.wiss.Diss.1974. -- 1975! |
|---|