پل تیدمن

درآمدی نو به منطق نمادین: منطق محمول ها