Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975 /
Guardado en:
| Autores Corporativos: | Colloque international de logique Clermont-Ferrand), Centre national de la recherche scientifique (Francia) |
|---|---|
| Formato: | Libro |
| Idioma: | French English |
| Publicado: |
Paris :
Éditions du C.N.R.S.,
1977.
|
| Series: | Colloques internationaux du Centre national de la recherche scientifique ;
no 249 |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Proof and computation /
Publicado: (1995) -
Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Publicado: (1980) -
Proceedings of the IX Latin American Symposium on Mathematical Logic.
Publicado: (1993) -
Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /
Publicado: (1994) -
Éléments de logique mathématique : théorie des modèles /
por: Kreisel, Georg.
Publicado: (1967)
