scientific article; zbMATH DE number 3422356
From MaRDI portal
Publication:5684660
zbMath0268.02033MaRDI QIDQ5684660
Publication date: 1973
Full work available at URL: https://eudml.org/doc/16568
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computability and recursion theory (03D99) General logic (03B99) Proof theory and constructive mathematics (03F99)
Related Items (1)
This page was built for publication:
