Publication:3760480
From MaRDI portal
zbMath0623.01012MaRDI QIDQ3760480
Publication date: 1987
01A70: Biographies, obituaries, personalia, bibliographies
03-03: History of mathematical logic and foundations
Related Items
System \(T\), call-by-value and the minimum problem, On the logic of unification, In defense of logical universalism: taking issue with Jean van Heijenoort