scientific article
From MaRDI portal
Publication:2845892
zbMath1271.03008MaRDI QIDQ2845892
Publication date: 3 September 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) History of mathematical logic and foundations (03-03)
This page was built for publication:
