m

F Nous contacter

0
     
Congrès

H 0 Logic colloquium'82
proceedings of the colloquium held in Florence,23-28 aug.,1982

Lolli, G. (Editeur) ; Longo, G. (Editeur) ; Marcja, A. (Editeur)

North-Holland

1984

978-0-444-86876-3

00007604

03-06 ; 03C35 ; 03C40 ; 03Cxx ; 03H15

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

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 C/FLOR/1982 00007604 [disponible]
Z