![](/img/cover-not-exists.png)
Automatic proof generation in an axiomatic system for $\mathsf{CPL}$ by means of the method of Socratic proofs
Grzelak, Aleksandra, Leszczyńska-Jasion, DorotaVolume:
26
Language:
english
Journal:
Logic Journal of the IGPL
DOI:
10.1093/jigpal/jzx057
Date:
January, 2018
File:
PDF, 464 KB
english, 2018