Model theory for modal logic : Kripke models for modal predicate calculi
Finna-arvio
Model theory for modal logic : Kripke models for modal predicate calculi
Tallennettuna:
| Ulkoasu |
x,127 sivua |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Dordrecht :
Reidel,
1979.
|
| Sarja | Synthese library, 127. |
| Luokitus | |
| Aiheet | |
| Lisätiedot | Kenneth A. Bowen |
| ISBN |
90-277-0929-7 kovakantinen |
| Kontrolloimaton nimeke |
Kripke models for modal predicate calculi |