scientific article; zbMATH DE number 3242158
From MaRDI portal
Publication:5529477
zbMath0151.00904MaRDI QIDQ5529477
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
An axiomatic explanation of complete self-reproduction ⋮ Strong Ambiguity ⋮ The usual model construction for NFU preserves information ⋮ A semantic characterization of the well-typed formulae of \(\lambda\)- calculus ⋮ Systems of combinatory logic related to Quine's `New Foundations'
This page was built for publication:
