Cours de logique mathématique
| Autor principal: | |
|---|---|
| Formato: | 991006933239706719 |
| Idioma: | Francés |
| Publicado: |
Paris :
Gauthier-Villars
1967-
|
| Colección: | Collection de logique mathématique. Série A ;
23, 25 |
| Materias: | |
| Ver en Biblioteca Pública Episcopal del Seminario de Barcelona: | https://csuc-instb.primo.exlibrisgroup.com/discovery/search?query=any,contains,991002967577006707&tab=BPEBcat&search_scope=BPEB&vid=34CSUC_INSTB:BPEB&offset=0 |
Tabla de Contenidos:
- Conté: 1. Relation, formule logique, compacité, complétude ; 3. Récursivité et constructivilité
