Таутс А. (1964). Решение логических уравнений методом итерации в исчислении предикатов первого порядка; Исследования по теоретической физике и математике. 1964.
Chicago Style (17th ed.) CitationТаутс А. Решение логических уравнений методом итерации в исчислении предикатов первого порядка; Исследования по теоретической физике и математике. 1964, 1964.
MLA (9th ed.) CitationТаутс А. Решение логических уравнений методом итерации в исчислении предикатов первого порядка; Исследования по теоретической физике и математике. 1964, 1964.
Warning: These citations may not always be 100% accurate.