MPG.eBooks - Search Results - Geometry, Algebraic

1

Published 2013

Springer Berlin Heidelberg

Table of Contents: “...Introduction -- H. Andréka and I. Németi: Reducing First-order Logic to Df3, Free Algebras...”

2

by Givant, Steven, Andréka, Hajnal
Published 2017

Springer International Publishing

Table of Contents: “.... Insertion Semiproducts -- 11. Two-quasi-bijective Relation Algebras -- A. Relation Algebras -- B. Geometry...”

3

by Andréka, Hajnal, Gyenis, Zalán, Németi, István, Sain, Ildikó
Published 2022

Birkhäuser

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