"O dowodzie matematycznym" W.A.Pogorzelski J.Słupecki

[iksinski]

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.