L’approche dialogique à la logique classique, modale et intuitionniste - avec un bref aperçu de la théorie constructive des types. Une Introduction

STL Parutions

Auteurs : Shahid Rahman, Farid Zidani, Juan Redmond, Yasmina Kadoum