Login / Signup

Completeness in the Theory of Types.

Leon Henkin
Published in: J. Symb. Log. (1950)
Keyphrases