LT-2(ID:88/lt:001)Logical Theorist ported to the IBM 701 (?) Hardware:
Related languages
References: Bob Bemer states that this table (which appeared sporadically in CACM) was partly used as a space filler. The last version was enshrined in Sammet (1969) and the attribution there is normally misquoted. in [ACM] CACM 2(05) May 1959 view details in [ACM] CACM 6(03) (Mar 1963) view details |