Thể loại:

natural deduction

Đăng ký theo dõi natural deduction phát âm