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) .


B13::28

B13::28 / J4