×

On a theorem of Tarski. (English) Zbl 0497.03004


MSC:

03Bxx General logic
03B45 Modal logic (including the logic of norms)
03B40 Combinatory logic and lambda calculus
03B20 Subsystems of classical logic (including intuitionistic logic)
03B30 Foundations of classical theories (including reverse mathematics)
03B55 Intermediate logics
PDFBibTeX XMLCite