Normal view
MARC view
Grzegorczyk Andrzej(Personal Name)
Machine generated authority record.
Work cat.: (OSt)758250: Grzegorczyk Andrzej, Outline of mathematical logic., 1974