Kulman, Tibor (1991) Implikáció és következmény fogalom a klasszikus kétértékű logikában. Masters, Juhász Gyula Tanárképző Főiskola.