Matematičeskaja logika i avtomatičeskoje dokazatel'stvo teore
Uložené v:
| Médium: | Kniha |
|---|---|
| Jazyk: | Russian |
| Vydavateľské údaje: |
Moskva
Nauka
1983
|
| Edícia: | Matematičeskaja logika i osnovanija matematiki
|
| Tagy: |
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|