TY  - BOOK
AU  - Moldestad J
AU  - Tucker J V
TI  - Finite algorithmic procedures and inductive definability
U1  - 510.7 
PY  - 1978///
CY  - Oslo
PB  - University
KW  - Algorithms
KW  - Mathematics
ER  -