scientific article
From MaRDI portal
Publication:3257113
zbMath0086.00802MaRDI QIDQ3257113
Publication date: 1957
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Interpreting HOL in the calculus of constructions ⋮ Herbrand complexity and the epsilon calculus with equality ⋮ Non-elementary speed-ups in logic calculi
This page was built for publication: