عرض عادي
عرض مارك
- Logic, Symbolic and mathematical
Logic, Symbolic and mathematical (Topical Term)
Machine generated authority record
Work cat.: (AE-AdECS)221761: Brink, Chris, 1951- author 6478, A paradigm for program semantics :
Machine generated authority record
Work cat.: (AE-AdECS)221761: Brink, Chris, 1951- author 6478, A paradigm for program semantics :