School of Computer Science, University of Birmingham, UK.

BNPol online

Kp. Informal and Formal Representations in Mathematics / Manfred Kerber and Martin Pollet // From insight to proof : Festschrift in honour of Andrzej Trybulec / guest editors: Roman Matuszewski, Anna Zalewska. - Białystok, 2007. - S. 75-94