The adequacy problem for classical logic
β
J. I. Zucker
π
Article
π
1978
π
Springer Netherlands
π
English
β 837 KB