Fitch, Frederic Brertor <br/><br/>
Symbolic logic / 

 -  1952.