Δημητρακόπουλος, Κωνσταντίνος, Subsystems of Peano Arithmetic: some results and problems, 1-5, 1997, Πανεπιστήμιο Κύπρου,