next up previous
Up: Review of Subsystems of Previous: Review of Subsystems of

About this document ...

Review of
Subsystems of Second Order Arithmetic
by Stephen G. Simpson

This document was generated using the LaTeX2HTML translator Version 98.1p1 release (March 2nd, 1998)

Copyright © 1993, 1994, 1995, 1996, 1997, Nikos Drakos, Computer Based Learning Unit, University of Leeds.

The command line arguments were:
latex2html burgess.

The translation was initiated by Stephen G Simpson on 1999-10-30

Stephen G Simpson