# Talk:Logic of graphs

Hello, I suggest to refer to Trakhtenbrot's theorem in the Section Logic of graphs#Satisfiability.
This page helped me a lot to get quickly into the subject, many thanks! 2001:861:35C0:9DC0:FE:398E:8827:8A4 (talk) 19:19, 3 November 2023 (UTC)

Ok, added. —David Eppstein (talk) 20:51, 3 November 2023 (UTC)
Great, thanks! Actually there is a complete proof of this corollary of Trakhenbrot's theorem for the case of undirected graphs, in the book of Ebbinghaus and Heinz-Dieter "Finite Model Theory" (1995):  Proposition 10.3.4 page 289-290. This book is cited in the article Trakhtenbrot's_theorem. Maybe you can update the citation ? huacayacauh (talk) 09:10, 6 November 2023 (UTC)