Combinators, [lambda]-terms and proof theory / Sören Stenlund.
Rodzaj materiału:
TekstSerie: Synthese LibrarySzczegóły wydania: Dordrecht : D. Reidel Publishing Company, cop. 1972.Opis: 184 s. ; 23 cmTyp zawartości: - Tekst
- Bez urządzenia pośredniczącego
- Wolumin
- 9027703051
- Combinators, L-terms and proof theory
| Typ dokumentu | Obecna biblioteka | Kolekcja | Sygnatura | Status | Kod kreskowy | |
|---|---|---|---|---|---|---|
| Niewypożyczane | Biblioteka Politechniki Poznańskiej w czytelni | Czytelnia | A 65136 | Dostępny | 0000244102 |
Liczba zamówień: 0
Bibliogr. s. 177-180. Indeks.