Exported entries (formatted text)
Export more entries in formatted text to add them to this list.
De Toffoli, Silvia & Giardino, Valeria (2015). An Inquiry into the Practice of Proving in Low-Dimensional Topology. In Gabriele Lolli, Giorgio Venturi & Marco Panza (eds.), From Logic to Practice. Zurich, Switzerland: Springer International Publishing. pp. 315-336.