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