Rezus, Adrian On a theorem of Tarski. (English) Zbl 0497.03004 Libertas Math. 2, 63-97 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Documents 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 Keywords:propositional logics; single axioms; lambda calculus; relevant logics PDFBibTeX XMLCite \textit{A. Rezus}, Libertas Math. 2, 63--97 (1982; Zbl 0497.03004)