article by Simon Wells & C.A. Reed published December 2012 in Journal of Applied Logic
Paulina is supported by:
About Paulina
Help