Normal view
MARC view
First order predicate logic (Topical Term)
Machine generated authority record
Work cat.: (OSt)192060: Kaushik, Saroj. 246722, Logic and prolog programming /, 2002.
