Introduction basic consepts logic by Hasenjaeger