Login / Signup

Admissible rules, derivable rules, and extendible logistic systems.

Howard C. Wasserman
Published in: Notre Dame J. Formal Log. (1974)
Keyphrases