Normal view
MARC view
Smullyan, Raymond M.(Personal Name)
Machine generated authority record.
Work cat.: (ARRUPE)0: Smullyan, Raymond M., First-order logic /, c1995.