On the convergence of reduction-based and model-based methods in proof theory

DOI10.1093/JIGPAL/JZP022zbMATH Open1183.03061OpenAlexW2032560163MaRDI QIDQ3644841

Could not fetch data.

Publication date: 12 November 2009

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzp022

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.

This page was built for publication: On the convergence of reduction-based and model-based methods in proof theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3644841)