Publication:4208528
From MaRDI portal
zbMath0900.03026MaRDI QIDQ4208528
Publication date: 2 September 1998
first-order theories; conservative extension; Fregean extension; Tarski's theorem on the undefinability of truth; Frege's abstraction scheme; Fregean theory
03B10: Classical first-order logic
Related Items