NATURAL DEDUCTION SYSTEMS FOR E Journal Articles Refereed uri icon

Overview

Published in

  • Logique et Analyse

Time

Date/time value

  • 2018

Identity

Digital Object Identifier (DOI)

  • 10.2143/LEA.242.0.3284749

Additional Document Info

Parent Title

  • LOGIQUE ET ANALYSE

Issue

  • 242

Publisher

  • Centre national de recherches de Logique