@Book{ Blumensath:2016aa,
Author = "Blumensath, Achim",
date-added = "2020-04-10 11:07:26 +0200",
date-modified = "2020-04-10 11:07:26 +0200",
Title = "Logic, Algebra \& Geometry",
Year = "2016",
File = "ModelTheory (0) - a - a.pdf"
}