参考下面的段落,然后以相同的语言回答后面的问题:  过渡:目前形式的理论可以追溯到20世纪80年代初,并由德姆施塔特技术大学的鲁道夫·维尔,伯纳德·甘特和彼得·伯梅斯特领导的研究小组. 然而,它的基本数学定义早在20世纪30年代被加雷特·伯科夫 (Garrett Birkhoff) 作为一般格子理论的一部分提出. 此前对同一个想法的其他方法来自法国的各个研究小组,但达尔姆施塔特小组将该领域规范化,并系统地制定了其数学理论和哲学基础. 后者特别指的是查尔斯·S·皮尔斯,也指的是波特·罗亚尔逻辑.  问题:谁提出了一般格子理论的基本定义?
格雷特·伯科夫