TY - BOOK AU - VAN GASTEREN, A. J. M. TI - On the shape of mathematical arguments T2 - Lecture Notes in Computer Science (LNCS)\\Springer\ SN - 0-387-52849; 3-540-52849-0 CY - Berlin; Heidelberg; New York KW - documentație AV - III 13301 ER -