Normal view
MARC view
Louvish, David (Personal Name)
Orevkov, V.P. Complexity of proofs and their transformations ... c1993: CIP t.p. verso (David Louvish)