1
by Ayala-Rincón, Mauricio, de Moura, Flávio L. C.
Published 2017
Springer International Publishing
Table of Contents: ...Foreword. - Preface -- Introduction -- Derivation and Proofs in the Propositional Logic...