Normal view
MARC view
Krajicek Jan (Personal Name)
Machine generated authority record.
Work cat.: (OSt)809147: Clote Peter 426937, Arithmetic, proof theory , and computational complexity, 1993