Wróć do szczegółów artykułu
A Simulation of Natural Deduction and Gentzen Sequent Calculus
Pobierz
Pobierz PDF