Model theory for modal logic : Kripke models for modal predicate calculi


Kenneth A. Bowen
Bok Engelsk 1979
Utgitt
Dordrecht : Reidel , c1979
Omfang
X, 127 s. : fig.
Emner
ISBN
9027709297

Bibliotek som har denne