DMCA

Unary Interpretability Logic (1992)

by MAARTEN de RIJKE