TY - BOOK AU - Hilbert D AU - Bernays P TI - Grundlagen der mathematik II T2 - Die grundlehren der mathematischen wissenschaften in einzeldarstellungen; 50 U1 - B:(R1), 113L0 PY - 1970/// CY - Berlin PB - Springer-Verlag KW - Mathematical logic KW - Mathematics ER -