Merkliste 
 1 Ergebnisse 
 
1

NATURAL DEDUCTION RULES FOR FREE LOGIC:

Wu, Kathleen Johnson
Logique et Analyse.  22 (1979)  88 - p. 435-445 , 1979