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