Kotlarski, Henryk.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

A model-theoretic approach to proof theory by: Adamowicz, Zofia.; Bigorajska, Teresa.; Kotlarski, Henryk.; SpringerLink (Online service); Zdanowski, Konrad. (Electronic resources)

Subjects

Logic. Mathematical Logic and Foundations. Proof theory.