scientific article
From MaRDI portal
Publication:2880311
zbMath1236.03043MaRDI QIDQ2880311
Publication date: 13 April 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) Undecidability and degrees of sets of sentences (03D35) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50)
This page was built for publication:
