scientific article

zbMath0662.03003MaRDI QIDQ3812200

K. F. Samokhvalov, Yuri L. Ershov

Publication date: 1987

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

zbMATH Keywords

Hilbert's programproof-theoretic problems

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

This page was built for publication: