Normal view
MARC view
Leitsch Alexander (Personal Name)
Machine generated authority record.
Work cat.: (OSt)27119: Leitsch Alexander, The Resoulution Calculus