TY - BOOK AU - Moldestad Johan TI - Computation theory on two types U1 - 510.7 PY - 1976/// CY - Oslo PB - University KW - Mathematics ER -