"Mathematical Knowledge Management, 3 conf., MKM 2004" - читать интересную книгу автора (Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec)