О натуральном исчислении линейного типа в преподавании логики доклад на конференции