Two roads to the successor axiom

Stefan Buijsman

pp. 1241-1261


This document is unfortunately not available for download at the moment.

Not implemented yet !