scientific article
From MaRDI portal
Publication:4041555
zbMath0291.02022MaRDI QIDQ4041555
Publication date: 1974
Full work available at URL: https://eudml.org/doc/16616
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:
