![](/img/cover-not-exists.png)
A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics
Ricardo Caferra, Stéphane Demri, Michel HermentVolume:
52
Year:
1993
Language:
english
Pages:
36
Journal:
Studia Logica
DOI:
10.1007/bf01058389
File:
PDF, 1.93 MB
english, 1993