On two classical results in the first order logic

DOI10.2298/PIM0476021KzbMath1265.03064OpenAlexW1979869343MaRDI QIDQ4899838

Miodrag Kapetanović

Publication date: 10 January 2013

Published in: Publications de l'Institut Mathematique (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2298/pim0476021k

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

This page was built for publication: On two classical results in the first order logic