Normal view
MARC view
Logic; Propositional calculus; Predicate calculus; Prolog; Sets; Graphs; Languages; Database systems (Topical Term)
Machine generated authority record.
Work cat.: (OSt)35: Grassmann, Winfried Karl 17273, Logic and discrete mathematics : a computer science perspective /, 1998.