TY - BOOK AU - Stirling,David S.G. TI - Mathematical analysis and proof PY - 1997/// CY - Chichester, UK PB - Albion KW - Proof theory KW - Mathematical analysis KW - Mathematical analysis and proof N1 - Previous ed.: Chichester : Albion, 1997; Includes indexes ER -