B. Plotkin - algebraic geometry in first order logic


이런 종류 어디까지 연구돼있는지


컴터사이언스랑 쭉쭉 연결돼갈거같은데