Tableau systems for first order number theory and certain higher order theories / Sue Toledo.
Rodzaj materiału:
TekstSerie: Lecture Notes in Mathematics ; 447Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1975.Opis: 339 s. : 24 cmTyp zawartości: - Tekst
- Bez urządzenia pośredniczącego
- Wolumin
- 3540071490
- 0387071490
- 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 160449 | Dostępny | 0000076439 |
Liczba zamówień: 0
Bibliogr. s. 335 - 339.
Dostępne również w formie elektronicznej.