Login / Signup

Functional interpretation and the existence property.

Klaus Frovin Jørgensen
Published in: Math. Log. Q. (2004)
Keyphrases