Logic colloquium'82
proceedings of the colloquium held in Florence,23-28 aug.,1982
NP # PA # logique # modèle de lambda calcul # modèle lambda filtre # modèle nonstandard de l'arithmétique # objet non-constructif # phrase logique # problème de décision # saturation forte # structure de type étendu # sémantique à valeur Heyting # théorie des modèles en informatique théorique # théorème d'interpolation de Craig # vérité continue
Ville d'édition : Amsterdam ; N.Y. ; Oxford
Pays d'édition : Pays-Bas
EAN13 : 9780444868763
ISBN : 0-444-86876-3
Collation : 23 cm ; 358 p. ; Bibliogr. ; rel. ; viii
Collection : Studies in logic and the foundations of mathematics
N° de collection : 0112
Localisation : Colloque 1er étage (FLOR)
Année de la rencontre : 1982
Ville du congrès : Florence
Pays du congrès : Italie
Type Congrès : Congrès
Disponibilité : empruntable
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | C/FLOR/1982 | 00007604 | [disponible] |