| Shelfclass_id | 3.F.2 |
| Sortkey | ANDREWS, P. B |
| Authors | P. B. Andrews |
| Title | A Transfinite Type Theory with Type Variables |
| Publisher | North-Holland |
| Year | 1965 |
| Languages | eng |
| Series | Studies in logic and the foundations of mathematics |
| Description | xv, 143 p 23 cm |
| Record date | 20060630 |
| Location | Amsterdam |
| Keywords | Type theory |