一阶逻辑中的代数几何PDF书籍下载

原名:ALGEBRAIC GEOMETRY IN FIRST ORDER LOGIC
作品简介:GM] 2003 年 12 月 29 日。一阶逻辑中的代数几何。 B. Plotkin，希伯来大学，耶路撒冷。摘要：在各种代数中……