Login / Signup

Truth in constructive metamathematics.

John Staples
Published in: Notre Dame J. Formal Log. (1978)
Keyphrases