Úvod do filosofie matematiky — book edition published in 1947