वे तर्कशास्त्र को एक बीजगणितीय रूप देने के लिये प्रसिद्ध हैं ।
Entity: तर्कशास्त्र — Type: /art, /art/music