Arytmetyka Tarskiego - prof. dr hab. M Bojańczyk