Theory of deductive systems and its applications /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
Cambridge :
Massachusetts institute of technology,
1987
|
| Colección: | MIT press series in the fopundations of computing
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 00605nam a2200193 4500 | ||
|---|---|---|---|
| 001 | 015591 | ||
| 003 | arbauncb | ||
| 008 | 150429s1987 us g 000 0 eng d | ||
| 005 | 20171017144402.0 | ||
| 040 | |a AR-BaUNCB |c AR-BaUNCB | ||
| 245 | 1 | 0 | |a Theory of deductive systems and its applications / |c Sergei IUr'evich Maslov |
| 260 | |a Cambridge : |b Massachusetts institute of technology, |c 1987 | ||
| 440 | 0 | |a MIT press series in the fopundations of computing | |
| 020 | |a 0262132230 | ||
| 100 | 1 | |a Maslov, Sergei IUr'evich | |
| 082 | 0 | 4 | |a 511.3 |
| 650 | 7 | |a Matemáticas |2 mpirdes | |
| 300 | |a 147 p. |c 22 cm | ||
| 999 | |c 15513 |d 15513 | ||