Zdanowski, Konrad

検索結果1件中 1-1 を表示

  • A model-theoretic approach to proof theory

    Henryk Kotlarski, author ; edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski

    Springer c2019 Trends in logic : studia logica library v. 51

    所蔵館4館

ページトップへ