TY - BOOK AU - Lakatos Imre Ed. TI - Problems in the philosophy of mathematics T2 - studies in logic and the foundations of mathematics U1 - R:(B), K7 PY - 1967/// CY - London PB - North Holland Publishing ER -