Henryk Kotlarski

Henryk Kotlarski

2 books in the database

Books

Model-Theoretic Approach to Proof TheoryHenryk Kotlarski

Model-Theoretic Approach to Proof Theory

Henryk Kotlarski · 2020

A Model–Theoretic Approach to Proof TheoryHenryk Kotlarski

A Model–Theoretic Approach to Proof Theory

Henryk Kotlarski · 2019