A Preservation Theorem for Tense Logic
β
Hirokazu Nishimura
π
Article
π
1980
π
John Wiley and Sons
π
English
β 262 KB