previous article in this issue |
Document Details : Title: Natural Deduction for First-Order Pure Imperative Logic Author(s): VRANAS, Peter B.M. Journal: Logique et Analyse Volume: 258 Date: 2022 Pages: 167-188 DOI: 10.2143/LEA.258.0.3291675 You can download this article as part of your online subscriptions as a registered user from If you want to order a back-issue of this journal, click here |