The Undecidability of Monadic Modal Quan
β
Saul A. Kripke
π
Article
π
1962
π
John Wiley and Sons
π
English
β 279 KB
π 1 views