暂无分享，去创建一个
Zbigniew Lis
[1] Ludwik Borkowski,et al. A logical system based on rules and its application in teaching mathematical logic , 1958 .
[2] K. Gödel. Die Vollständigkeit der Axiome des logischen Funktionenkalküls , 1930 .