A Transfinite Type Theory with Type Variables / P. B. Andrews
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Undetermined |
| Published: |
Amsterdam : North-Holland,
|
| Subjects: |
Sistema de Bibliotecas de la Universidad Nacional Autónoma de Nicaragua, UNAN-León
| Call Number: |
164 A |
|---|---|
| Copy | Available |