scientific article; zbMATH DE number 1696784

MaRDI QIDQ2767041zbMATH OpenFDO

Authors John Alan Robinson

Publication date 28 January 2002

Mathematics Subject Classification ID

Future perspectives in mathematics (01A67) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) History of computer science (68-03)

Recommendations

• Computational logic: its origins and applications
• scientific article; zbMATH DE number 1926604
• scientific article; zbMATH DE number 48608
• Logics, mathematics, automatic deduction
• A legacy recalled and a tradition continued

Cited in

(7)

• Computation theory and logic. (In memory of Dieter Rödding, 1937--1984. On the occasion of the 50th anniversary of his birth)
• Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic
• Recent advances of research on Computational Logic in Italy (CILC 2012): In memoriam of Elio Lanzarone (1945-2011)
• scientific article; zbMATH DE number 48608 (Why is no real title available?)
• scientific article; zbMATH DE number 1288286 (Why is no real title available?)
• Memories of Kurt Schütte and the logic group in Munich: A personal report
• A legacy recalled and a tradition continued

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2767041)