Laurentii Valle Repastinationis dialecticae et philosophiae libris tre