Enlightening Ph.D. students with the elegance of logic

DOI10.1007/978-3-319-23165-5_10zbMATH Open1321.68006OpenAlexW2295013156MaRDI QIDQ2945708FDOQ2945708

Shuo Chen

Publication date: 14 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23165-5_10

Recommendations

• The legacy of a great researcher
• On the role of mathematical logic in mathematical education
• Lessons from Leon
• Personal Reflections on the Role of Mathematical Logic in Computer Science
• scientific article

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03) History of mathematical logic and foundations (03-03)

This page was built for publication: Enlightening Ph.D. students with the elegance of logic

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