Sèminaire général de logique, 1983-1984by F. Delon, D. Lascar, M. ParigotSymbolic and mathematical LogicWriting a summary for young readers…For young readersBook data: Open Library