Subsystems of Second Order Arithmetic
ISBN: 9780511580680
Information Available:
Summary
Copyright held by Baker & Taylor.