Login / Signup

A rule-completeness theorem.

Nuel D. Belnap Jr.Richmond H. Thomason
Published in: Notre Dame J. Formal Log. (1963)
Keyphrases