Logicism and the development of computer science

DOI10.1007/3-540-45632-5_23MaRDI QIDQ4707780zbMATH OpenFDO

Authors Donald Gillies

Publication date 11 June 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2408/24080588.htm, http://discovery.ucl.ac.uk/16390/1/16390.pdf

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 47007
• scientific article; zbMATH DE number 49669
• scientific article; zbMATH DE number 1361527
• scientific article; zbMATH DE number 5526845
• Computational logic: its origins and applications
• scientific article; zbMATH DE number 52096
• From logic to theoretical computer science
• scientific article; zbMATH DE number 4084979
• scientific article; zbMATH DE number 432645

Cited in

(7)

• From constructivism to computer science
• scientific article; zbMATH DE number 5672698 (Why is no real title available?)
• scientific article; zbMATH DE number 4084979 (Why is no real title available?)
• scientific article; zbMATH DE number 1964695 (Why is no real title available?)
• scientific article; zbMATH DE number 1361527 (Why is no real title available?)
• scientific article; zbMATH DE number 895230 (Why is no real title available?)
• Personal Reflections on the Role of Mathematical Logic in Computer Science

This page was built for publication: Logicism and the development of computer science

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