Normal view
MARC view
Grzegorczyk, Andrzej (Personal Name)
Machine generated authority record.
Work cat.: (OSt)205666: Grzegorczyk, Andrzej, An outline of mathematical logic : fundamental results and notions explained with all details, 1974.