this issue
previous article in this issue

Document Details :

Title: A Graphical Deep Inference System for Intuitionistic Logic
Author(s): MINGHUI, Ma , PIETARINEN, Ahti-Veikko
Journal: Logique et Analyse
Volume: 245    Date: 2019   
Pages: 73-114
DOI: 10.2143/LEA.245.0.3285706

personal login :
If you are subscribed and registered, have you already activated your personal account?

Yes No I lost my password

email address:

For more information about the personal logins, click here

If you are not subscribed, you can purchase this article by clicking here (price : 14 EURO)

If you want to subscribe to this journal, click here