NantilusSemantical analysis of model logic I, normal modal propositional calculi
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Semantical analysis of model logic I, normal modal propositional calculi / Saul A. Kripke |
| Publié : |
Leipzig, Berlin, Heidelberg :
Barth, ed. Dt verl. der Wiss
, 1963 |
| Description matérielle : | 30 p. |
| Sujets : |
| Historique des publications : | Extr. de "Zeitschrift fur mathematische logik und grundlagen der mathematik", 1963,T.9 |
|---|