m
     
Ouvrage

H 0 Model theory for modal logic
Kripke models for modal predicate calculi

Bowen, Kenneth A. (Principal)

D. Reidel Publishing Company

1979

127 p.

00000172

03B05 ; 03B45 ; 03C20 ; 03Cxx ; 03E40

calcul des prédicats # calcul modal des prédicats # complétude de modèle # consistance de joint # extension de modèle # forcing fini # interpolation # limite directe # logique modale # modèle de Kripke # morphisme # tableau sémantique # théorie des modèles # théorie inductive # théorème de Lowenheim-Skolem # ultrapoint

Ville d'édition : Boston ; Dordrecht ; London

Pays d'édition : Grande-Bretagne

Langue : Anglais

Collation : 23 cm#rel; ; Bibliogr. ; Index

Collection : Synthèse library

N° de collection : 0127

Localisation : Ouvrage RdC (BOWE)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00000172 [disponible]
Z