TY - BOOK AU - Goodstein, Reuben Louis TI - CONSTRUCTIVE FORMALISM U1 - 510.1 PY - 1965/// CY - Leicester PB - University College Of Leicester KW - Mathematics. Philosophy ER -