Login / Signup

A decision procedure for positive implication.

Michael D. Resnik
Published in: Notre Dame J. Formal Log. (1962)
Keyphrases