درآمدی نو به منطق نمادین: منطق جملهها
مطالب کتاب حاضر، برگرفته از فصلهای اول تا ششم "کتاب درآمدی نو به منطق و فلسفه (ویراستهای هشتم و نهم)"، حاوی مباحثی است برای آشنایی مخاطبان با نمادین سازی جملهها، ساختن جداول ارزش و یافتن براهین منطق جملهها. مباحث کتاب ذیل این عناوین به طبع رسیده است: "نمادین سازی در منطق جملهها"، "جداول ارزش"، "براهین"، "دلیل شرطی و برهان غیر مستقیم" و "روش درختهای ارزش".