Wojciech Krysztofiak, Logiki drzew derywacyjnych , Filozofia Nauki, 2007, 15, 2, s. 33-73