A Model-theoretic Approach to Proof Theory (Trends in Logic)

von Henryk Kotlarski

Gebunden

ISBN: 978-3-030-28920-1

ISBN-10: 3-030-28920-6

Springer · Januar 2020