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