scientific article; zbMATH DE number 6296788
From MaRDI portal
Publication:5416145
zbMath1293.03003MaRDI QIDQ5416145
Publication date: 19 May 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
consequence operationLindenbaum's lemmaAlfred Tarskigeneral metamathematicsmethodology of deductive sciences
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Abstract deductive systems (03B22) History of general algebraic systems (08-03)
This page was built for publication: