scientific article; zbMATH DE number 3451819

zbMath0288.02002MaRDI QIDQ4775843

P. S. Novikow

Publication date: 1973

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05) Proof theory and constructive mathematics (03F99)

Related Items (1)

Image of Soviet and Russian logic in the West. Latter Half of the XXth Century

This page was built for publication: