暂无分享,去创建一个
Gerd Mitschke | G. Mitschke
[1] J. Rosser. A Mathematical Logic Without Variables. I , 1935 .