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...