معرفی هاوارد-تیدمن

درآمدی نو به منطق: منطق‌های قیاسی، استقرایی، موجهات، معرفتی، بایایی و نظام‌های اصل موضوعی