記号論理入門 新装版

論理記号によって表される概念の解説に始まり、演繹法の構築を経て、その応用例を示す。緻密に組み立てられていると同時に、初学者にも読みやすい丁寧な文章で綴られた入門書。安東祐希による補足を加えた新装版。