Thesis Specification and Verification of Programs in Peano Arithmetic by J. Komara.

• The thesis.

• Corrections to the thesis.