A transfinite type theory with type variables
by
 
Andrews, P. B. (Peter Bruce), 1937-

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
: 
Type theory.

Electronic Access
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534026


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book257366-1001ONLINEElektronik Kütüphane