Vivre Sans Pourquoi Itineraire Spirituel Dun Philosophe En Coree ...
Termes et formules des langages du premier ordre (avec égalité et symboles de
... Divers documents de cours, ainsi que des listes d'exercices et de corrigés ...
Van Dalen (Dirk), Logic and Structure, Springer-Verlag, Berlin-Heidelberg-New-
York, (3ième ... B.), A mathematical introduction to Logic, Academic Press, 1977.