Normal view
MARC view
Pym, Ritter(Personal Name)
Machine generated authority record
Work cat.: (OSt)1506284: Pym, Ritter, Reductive Logic and Proof-search, 2007