Login / Signup

A Consistent Higher-Order Theory Without a (Higher-Order) Model.

Thomas Forster
Published in: Math. Log. Q. (1989)
Keyphrases