Model theory for modal logic : Kripke models for modal predicate calculi
Finna-recension
Model theory for modal logic : Kripke models for modal predicate calculi
Sparad:
| Fysisk beskrivning |
x,127 sivua |
|---|---|
| Språk |
engelska |
| Originalverkets språk |
engelska |
| Utgivare |
Dordrecht :
Reidel,
1979.
|
| Serie | Synthese library, 127. |
| Klassifikation | |
| Ämnen | |
| Mer information | Kenneth A. Bowen |
| ISBN |
90-277-0929-7 kovakantinen |
| Okontrollerad titel |
Kripke models for modal predicate calculi |