暂无分享，去创建一个
T. Kubiński
[1] Andrzej Grzegorczyk,et al. The systems of Leśniewski in relation to contemporary logical research , 1955 .
[2] A. Tarski. Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I , 1930 .