scientific article; zbMATH DE number 3292872

zbMath0184.02303MaRDI QIDQ5575562

Pavel Strnad

Publication date: 1969

Full work available at URL: https://eudml.org/doc/27771

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

zbMATH Keywords

recursion theory, constructive mathematics

Cites Work

• Boolean Memories

This page was built for publication: