TY - BOOK AU - Hilbert,D. AU - Ackermann,W. TI - Principles of mathematical logic PY - 1950/// CY - New York PB - Chelsea Publishing Company KW - Matemática ER -