Machine generated authority record.
Work cat.: (OSt): Ben Ari M, Mathematical Logic for Computer Science