Goodstein, R.L. Recursive: Development Of Recursive Arthematic In Logic-free Equation Calculus. - Amesterdam, North-holland Pub. 1964 - xii,190P - Studies In Logic & Foundations Of Maths) . Subjects--Topical Terms: B13::28 Dewey Class. No.: B13::28 / J4