Kotlarski, Henryk.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

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

Subjects

Logic. Mathematical Logic and Foundations. Proof theory.