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