Deux esquisses de logique /
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | French |
| Publicado: |
Paris :
Gauthier-Villars,
1955.
|
| Series: | Collection de logique mathématique. Sér. A ;
VII |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- 1e. esquisse. Logique combinatoire et [lambda]-conversion
- 2e. esquisse. Les modèles des logiques formelles.