scientific article
From MaRDI portal
Publication:3760480
zbMath0623.01012MaRDI QIDQ3760480
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)
Related Items (3)
In defense of logical universalism: taking issue with Jean van Heijenoort ⋮ System \(T\), call-by-value and the minimum problem ⋮ On the logic of unification
This page was built for publication: