Acta Structuralica
international journal for structuralist research
Journal | Authors
(2000-2009)
Proof as a path of light
2008
Rossella Lupacchini
in: Deduction, computation, experiment, Dordrecht : Springer
Deduction, computation, experiment
edited byRossella Lupacchini Giovanna Corsi
Dordrecht, Springer
