![Cover image for A transfinite type theory with type variables Cover image for A transfinite type theory with type variables](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
A transfinite type theory with type variables
Author:
Andrews, P. B. (Peter Bruce), 1937-
ISBN:
9780444534026
Publication Information:
Amsterdam, North-Holland Pub. Co., 1965.
Physical Description:
1 online resource (xv, 143 p.)
Series:
Studies in logic and the foundations of mathematics
Series Title:
Studies in logic and the foundations of mathematics
Subject Term:
Electronic Access:
ScienceDirect http://www.sciencedirect.com/science/book/9780444534026Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 257366-1001 | ONLINE | Searching... | Searching... |