A formalization of the propositional calculus of H-B logic (1974)

by C Rauszer
Venue:Studia Logica