Matematičeskaja logika i avtomatičeskoje dokazatel'stvo teore
Guardado en:
| Formato: | Libro |
|---|---|
| Lenguaje: | ruso |
| Publicado: |
Moskva
Nauka
1983
|
| Colección: | Matematičeskaja logika i osnovanija matematiki
|
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|