Logic colloquium '82 : proceedings of the colloquium held in Florence, August 23--28, 1982 [monographie] |
| Auteur(s): | Lolli, G. (Ed.) Marcja, Annalisa (Ed.) Longo, Giuseppe (Ed.) |
| Langue: | anglais |
| Collection: | Studies in logic and the foundations of mathematics, n° 112 |
| Editeur, date d'édition: | North-Holland, 1984 |
| Ville(s) d'édition: | Amsterdam (NL), New York (US), Oxford (GB) |
| Congrés: | Logic colloquium '82 (1982) Florence (IT) |
| ISBN: | 0-444-86876-3 |
| ISSN: | 0049-237X |
| Classification MSC: | 03-06 (2000) |
| Notes: | viii ; notes bibliogr. ; 23 cm ; 358 p. |
| Thèmes: | theorie des modeles, lambda-calcul, congres, categories, model theory, lambda calculus |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 LOL 84 | Disponible |