証明のプログラミング

島内 剛一
1963 SUGAKU  
doi:10.11429/sugaku1947.15.48 fatcat:sjapzpo7lva3hkaccs4q4qvuzm