Normal view
MARC view
Logic, Symbolic and mathematical (Topical Term)
Machine generated authority record.
Work cat.: (OSt): Kaye, Richard W. 707, Mathematics of Logic: A Guide to Completeness Theorems and their Applications, 2007