publicações Logische bewijsdynamieken voor de formele explicatie van wetenschappelijke probleemoplossingsprocessen Documento