Normal view
MARC view
Boolos, George S (Personal Name)
Machine generated authority record
Work cat.: (BRAOU)55623: Boolos, George S., Computability and logic