Simpson (1999) discusses many aspects of second-order arithmetic and reverse mathematics.
Ο Simpson (1999) αναφέρεται σε πολλές πτυχές της αριθμητικής δεύτερης τάξης και reverse mathematics.