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
|
Utgitt | Dordrecht : Reidel , c1979
|
---|---|
Omfang | X, 127 s. : fig.
|
Emner | |
ISBN | 9027709297
|