參考下面嘅段落,然後用同段落一樣嘅語言回答問題:段落:理論以佢目前嘅形式可以追溯到1980年代早期,同埋德姆施達特理工大學嘅一個由Rudolf Wille,Bernhard Ganter同埋Peter Burmeister領導嘅研究團隊.然而,佢嘅基本數學定義,已經喺1930年代由Garrett Birkhoff作為一般格子理論嘅一部分提出.同一個諗法嘅其他以前嘅方法係嚟自唔同嘅法國研究團隊,但德姆施達特團隊將呢個領域規范化,並系統地研究出佢嘅數學理論同佢嘅哲學基礎.後者特別指嘅係Charles S. Peirce,亦包括Port-Royal Logic.問題:誰提出了一般格子理論嘅基本定義?
蓋瑞特. 伯科夫