Решение логических уравнений в исчислении одноместных предикатов первого порядка; Исследования по теоретической физике и математике
| Parent link: | Исследования по теоретической физике и математике.— 1964.— С. 3-16 |
|---|---|
| 主要作者: | |
| 语言: | 俄语 |
| 出版: |
1964
|
| 格式: | 本书章节 |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=212576 |