Jean-Michel Vappereau — Lógica 2 – Conference 11-07-07 at Universidad Kennedy, Argentina
Conference delivered by Vappereau on 11 July 2007 at Universidad Kennedy, Argentina. In this session, Vappereau elaborates on truth tables in the construction of proofs.