Formal Logic in Juan Caramuel - Dvořák, Petr (Juan Caramuel Lobkowitz, 2008)