Ingen varer
Kassen / rediger kurv
This book considers logical proof systems from the point of view of their space complexity.