Documents liés : [1 document(s)]

Documents (Auteurs)

• [MathOuvrage] Justification logic / Artemov, Sergei ; Fitting, Melvin Chris. -Cambridge : Cambridge university Press, 2019. - xxi, 247 p. ; 24 cm
  ISBN 9781108424912