Normal view
MARC view
Boolos George(Personal Name)
Machine generated authority record.
Work cat.: (OSt)756758: Boolos George, Computability and logic., 1980