Matematičeskaja logika i avtomatičeskoje dokazatel'stvo teore
Salvato in:
| Natura: | Libro |
|---|---|
| Lingua: | russo |
| Pubblicazione: |
Moskva
Nauka
1983
|
| Serie: | Matematičeskaja logika i osnovanija matematiki
|
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|