Logiques construites par une méthode de déduction naturelle
| Autor principal: | |
|---|---|
| Formato: | 991002530499706719 |
| Idioma: | Inglés |
| Publicado: |
Paris :
Gauthier-Villars
1962
|
| Colección: | Collection de logique mathématique. Série B ;
3 |
| Materias: | |
| Ver en Biblioteca Pública Episcopal del Seminario de Barcelona: | https://csuc-instb.primo.exlibrisgroup.com/discovery/search?query=any,contains,991002959236606707&tab=BPEBcat&search_scope=BPEB&vid=34CSUC_INSTB:BPEB&offset=0 |
| Descripción Física: | 191 p. ; 25 cm |
|---|---|
| Bibliografía: | Bibliography |
