名古屋大学附属図書館




1

A theory of formal deducibility, 1950

(Notre Dame mathematical lectures ; no. 6).