Úvod do logiky a teórie vedy - Volek, Peter (Update Studio, 1999)