Normal view MARC view

Propositional Calculus (Topical Term)

Preferred form: Propositional Calculus

Machine generated authority record.

Work cat.: (OSt)190244: Ben-Ari, Mordechai. 125462, Mathematical logic for computer science /, 2008.