000 00508nam a2200193Ia 4500
999 _c48829
_d48829
005 20230626154706.0
008 180712s9999 xx 000 0 und d
020 _a9783319309651
082 _a511.36
_bKAN
_223
100 _aKane, Jonathan M.
245 _aWriting proofs in analysis
_c/ Jonathan M. Kane
260 _aSwitzerland
_bSpringer
_c2016
300 _axx, 347 p.
500 _aIncludes index.
509 _aNS
650 _aProof theory
650 0 _aMathematical analysis.
_911
942 _cR