 previous article in this issue | next article in this issue  |
Preview first page |
Document Details : Title: Proving with Graphs Subtitle: The Mathematical Toolkit Author(s): GIARDINO, Valeria , PATRAS, Frédéric Journal: Logique et Analyse Volume: 266 Date: 2024-2025 Pages: 285-319 DOI: 10.2143/LEA.266.0.3294841 If you are subscribed and registered, have you already activated your personal account? Yes No I lost my password If you are not subscribed, you can purchase this article by clicking here (price : 20 EURO) If you want to subscribe to this journal, click here |
