Embeddings of classical logic in S4
β
J. Czermak
π
Article
π
1975
π
Springer Netherlands
π
English
β 468 KB