Genitzen's second Consistency proof and predicative analysis.
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Liburua |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Basel
1974
|
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 2542023 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 100 | 1 | |a Schönhein, Roger | |
| 245 | 1 | 0 | |a Genitzen's second Consistency proof and predicative analysis. |
| 246 | 3 | |a SCHÖNHEIN, Roger: | |
| 264 | 1 | |a Basel |c 1974 | |
| 500 | |a SCHÖNHEIN, Roger: -- Genitzen's second Consistency proof and -- predicative analysis. - Basel 1974 -- Basel, nat.wiss.Diss.1974. -- 1975! | ||
| 852 | |c D 145.479 | ||
| 999 | |a Dissertation | ||
| 591 | |a description: nO vrö L::O O: l.O O | ||