… definition of the sum as the cardinal of the union of two relevant discrete collections; the … Another bridge between logic and computer science illustrated by Gribomont et al … It seems clear that Tarski's meta-mathematical project goes beyond mathematics and echoes key questions …
CITATION STYLE
Durand-Guerrier, V., Meyer, A., & Modeste, S. (2019). Didactical Issues at the Interface of Mathematics and Computer Science (pp. 115–138). https://doi.org/10.1007/978-3-030-28483-1_6
Mendeley helps you to discover research relevant for your work.