MATEMATIČESKAJA LOGIKA I AVTOMATIČESKOJE DOKAZATEĽSTVO TEOREM /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | , |
| Médium: | Kniha |
| Jazyk: | ruština |
| Vydáno: |
Moskva :
Nauka,
1983
|
| On-line přístup: |
|
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Buďte první, kdo okomentuje tento záznam!