Նորմալ դիտում MARC դիտում ISBD Դիտում

Математическая логика и автоматическое доказательство теорем : Пер. с англ. /

Чень, Ч.

Математическая логика и автоматическое доказательство теорем : Пер. с англ. / Ч. Чень, Р. Ли ; Пер. Г.В. Давыдова и др. - Москва : Наука. Гл. ред. физ.-мат. лит., 1983. - 360 с. ; 22 см. - Математическая логика и основания математики .

Subjects--Topical Terms:
Математическая логика

Տպել
Ավելացրու քո սայլակին (հեռացրու)
Հիշիր գրառումը
BIBTEX Դուբլինյան միջուկ ISBD MARC (ոչ-Unicode/MARC-8) MARCXML MODS (XML) RIS MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Ստանդարտ)
Ավելի փնտրումներ

Որոնիր այս վերնագիրը ներսում՝
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)