Machine generated authority record.

Work cat.: (OSt): Suppes, Patrick, Primer curso de lógica matemática