A transfinite type theory with type variables, by P.B. Andrews.


Amsterdam, North-Holland Pub. Company, 1965.

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
QA 9 .A64 Off-site
Request
American
WRLC Shared Collections Facility
BC135 .S8 v.38 Off-site
Request
Catholic
Mullen Library stacks
BC6.S9 A56 T7 Available Request
Georgetown
Off-Campus Shelving
QA9 .A64 Available Request
Subjects Logica Matematica.
Logica.
Type theory.
Types, TheĢorie des.
Series Studies in logic and the foundations of mathematics.
Description xv, 143 pages 23 cm.
Copyright Date 1965.
Notes Includes bibliographical references (page 141).
Network Numbers (OCoLC)523874
(OCoLC)ocm00523874
WorldCat Search OCLC WorldCat
WorldCat Identities Andrews, P. B. 1937-
Publication timeline, list of works, related names and subjects and other information

Services

Export citation to: RefWorks