Key notions of Tarski's methodology of deductive systems
The aim of the article is to outline the historical background and the present state of the methodology of deductive systems invented by Alfred Tarski in the thirties. Key notions of Tarski's methodology are presented and discussed through the recent development of the original concepts and ideas.
scientific article; zbMATH DE number 3995638
scientific article