TY - BOOK AU - HILBERT, D TI - PRINCIPLES OF MATHEMATICAL LOGIC / U1 - 164 PY - 1950/// CY - NEW YORK PB - CHELSEA PUB. CO KW - MATHEMATICAL LOGIC ER -