TY - BOOK AU - Goodstein, R.L. TI - MATHEMATICAL LOGIC U1 - 164 PY - 1961/// PB - Leicester Universtiy Press KW - Mathematics KW - Logics ER -