Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz [et al.].
Rodzaj materiału:
TekstSerie: Lecture Notes in Mathematics ; 897Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1981.Opis: V, 383 s. ; 24 cmTyp zawartości: - Tekst
- Bez urządzenia pośredniczącego
- Wolumin
- 3540111700
- 0387111700
- Dostępne również w formie elektronicznej.
| Typ dokumentu | Obecna biblioteka | Kolekcja | Sygnatura | Status | Kod kreskowy | |
|---|---|---|---|---|---|---|
| Niewypożyczane | Biblioteka Politechniki Poznańskiej w czytelni | Czytelnia | A 162327 | Dostępny | 0000080505 |
Liczba zamówień: 0
Bibliogr. s. 358-368. Indeks.
Dostępne również w formie elektronicznej.