Login / Signup

The Relation Reflection Scheme.

Peter Aczel
Published in: Math. Log. Q. (2008)
Keyphrases