TY - BOOK AU - Rasiowa Helena AU - Sikorski Roman TI - Mathematics of metamathematics U1 - 510.1 PY - 1963/// CY - Warszawa PB - Panstwowe Wydawniotwo Naukowe KW - Mathematics ER -