Kotlarski, Henryk (1949-2008).

A model-theoretic approach to proof theory / Henryk Kotlarski author ; edited by: Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski. - Cham : Springer, © 2019. - XVIII, 109 stron : ilustracje ; 24 cm. - Trends in Logic. Studia Logica Library, vol. 51 1572-6126 ; .

Bibliografia przy rozdziałach. Indeks.



9783030289218 9783030289201