Logic, reasoning and the logical constants - Engel, Pascal (Array, 2006)