睇下下面嘅段落,然後用段落嘅語言回答問題:  轉<unk>:呢個理論喺 1980 年代早期由德姆施塔特理工大學嘅 Rudolf Wille, Bernhard Ganter 同 Peter Burmeister 帶領嘅研究小組提出 但係,佢基本嘅數學定義 喺 20 世紀 30 年代由 Garrett Birkhoff 介紹成一般格子理論嘅一部分. 之前對同一概念嘅其他方法都嚟自唔同嘅法國研究小組, 但達爾姆施塔特小組將呢個領域規范化,並系統咁研究佢嘅數學理論同佢嘅哲學基礎. 最後一個係指查爾斯. 皮爾斯,亦包括波特-羅伊爾<unk>輯.  問題..係邊個提出<unk>網理論嘅基本定義?
蓋瑞特. 伯科夫