Subsystems of Second Order Arithmetic
Publisher: Springer My Copy UK
Published: Nov 05, 1998
Format: paperback
Number of pages: 464
ISBN-13: 9783642599729