1 Table of Contents: ... Closure systems -- 1.8 First order logic (FOL) -- 2 Basics from Universal Algebra.-2.1 Examples...

2
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... in Universal Logic. – Bibliography. - Index...

3
by Givant, Steven, Andréka, Hajnal
Published 2017
Springer International Publishing
..., or universal algebra, but will also appeal to philosophers and theoretical computer scientists working...