Languages
Makinson, David.
Overview
Works: | 3 works in 2 publications in 1 languages |
---|
Titles
Sets, logic and maths for computing
by:
Makinson, David.; SpringerLink (Online service)
(Electronic resources)
Sets, logic and maths for computing
by:
Makinson, David.; SpringerLink (Online service)
(Electronic resources)
Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV /
by:
Makinson, David.; Malinowski, Jacek.; SpringerLink (Online service); Wansing, Heinrich.
(Electronic resources)
Subjects
Logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Mathematics
Mathematics.
Computational Science and Engineering.
Computational Linguistics.
Computer science
Computational Mathematics and Numerical Analysis.
Logic, Symbolic and mathematical
Arithmetic and Logic Structures.
Computer Science.
Discrete Mathematics in Computer Science.
Probability and Statistics in Computer Science.
Discrete Mathematics.
Mathematical Logic and Foundations..
Symbolic and Algebraic Manipulation.