On two classical results in the first order logic

DOI10.2298/PIM0476021KzbMath1220.03049OpenAlexW1979869343MaRDI QIDQ3090754

Miodrag Kapetanović

Publication date: 1 September 2011

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

Full work available at URL: http://www.emis.de/journals/PIMB/090/2.html

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) History of mathematical logic and foundations (03-03)

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