A transfinite type theory with type variables

Author(s)

• Andrews, P. B. (Peter Bruce)

Bibliographic Information

A transfinite type theory with type variables

by P.B. Andrews

（Studies in logic and the foundations of mathematics）

North-Holland, 1965

Note

Bibliography: p. 141

Includes index

Details

• NCID: BA1107327X
• LCCN: 66005084
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: xv, 143 p.
• Size: 23 cm
• Classification:
  • LCC : QA9
  • DC : 164
• Subject Headings:
  • LCSH : Type theory
• Parent Bibliography ID:
  • BA00099329