"O dowodzie matematycznym" W.A.Pogorzelski J.Słupecki
"O dowodzie matematycznym" W.A.Pogorzelski J.Słupecki
Krótkie i przystępne wprowadzenie w metamatematykę."(...)W książce tej podana jest w sposób elementarny teoria systemów dedukcyjnych Alfreda Tarskiego i wskazany bliski jej związek z teorią dowodu.(...)". Wymaga jedynie wiadomości z zakresu szkoły średniej.