Trends in Logic XIII. Gentzeu's and Jaskowski's Heritage. 80 Years of Natural Deduction and Sequent Calculi

Name: Trends in Logic XIII. Gentzeu's and Jaskowski's Heritage. 80 Years of Natural Deduction and Sequent Calculi
Author: Andrzej Inrzejczak

by Andrzej Inrzejczak · 1 review · 2017

Reviewed by	Journal	Date	Access
Mateusz Klonowski	Logic and Logical Philosophy	2017-03-01	—