TY  - BOOK
AU  - Borger E
ED  - Symposium on Rekursive Kombinatorik( 1983 : Westfalen )
ED  - Symposium on Rekursive Kombinatorik
TI  - Logic and machines : decision problems and complexity : proceedings
U1  - 5.131 
PY  - 1984///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
KW  - Recursive functions
ER  -