Comparing Rules for Identity in sequent systems & natural deduction

Описание к видео Comparing Rules for Identity in sequent systems & natural deduction

Greg Restall, April 21, 2021

Комментарии

Информация по комментариям в разработке