Normal view
MARC view
First-Order Logic. (Topical Term)
Machine generated authority record.
Work cat.: (OSt): Majkic, Zoran, author. aut http://id.loc.gov/vocabulary/relators/aut 76777, Intensional First-Order Logic :