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