Normal view
MARC view
Logic Symbolic and mathematical (Topical Term)
Machine generated authority record
Work cat.: (KeNaZET)7076: Artemov, S. N., author. 11423, Justification logic :