TY  - BOOK
AU  - Moldestad, Johan
AU  - 
TI  - Computations in higher types
U1  - 510.57 
PY  - 1976///
CY  - Berlin
PB  - Springer-Verlag
KW  - Mathematics
KW  - Number theory
KW  - Set theory
KW  - Group theory
KW  - Mathematical sciences
KW  - Pure mathematics
KW  - Fundamentals of mathematics
KW  - Arithmetic & algebra
N1  -  Lecture notes in mathematics ed by A Dold and B. Eckmann, 574
ER  -