[FOM] Variants of ACA

pax0 at seznam.cz pax0 at seznam.cz
Fri Nov 11 12:26:40 EST 2011

Is there a complete list of variants (together with definitions) of the second order fragment ACA.
There are quite a few of them, including
Thank you, Jan Pax

More information about the FOM mailing list