scientific article
From MaRDI portal
Publication:3035269
zbMath0693.03025MaRDI QIDQ3035269
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
recursive predicatescompleteness criterion for systems of general recursive functionssets of programs
This page was built for publication: