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

Exemplaires