- 127 p.
Cote : 00000172
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
03B05 ; 03B45 ; 03C20 ; 03Cxx ; 03E40
Localisation : Ouvrage RdC (BOWE)