Fundamental Scientific Library of NAS RA

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

By: Чень, ЧContributor(s): Ли, Р | Давыдов, Г.В [пер.] | Минц, Г.Е [пер.] | Сочилина, А.В [пер.] | Маслов, С.Ю [ред.]Material type: TextTextLanguage: Russian Original language: English Series: Математическая логика и основания математикиPublication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1983Description: 360 с. ; 22 смSubject(s): Математическая логика
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Notes Date due Barcode
Գրքեր/Books Գրքեր/Books Fundamental Scientific Library
General PII/503376 (Browse shelf(Opens below)) Available 30 Days Loan FL0228602
Գրքեր/Books Գրքեր/Books Fundamental Scientific Library
General PII/503377 (Browse shelf(Opens below)) Available 30 Days Loan FL0228608
Գրքեր/Books Գրքեր/Books Fundamental Scientific Library
General PII/504675 (Browse shelf(Opens below)) Available 30 Days Loan FL0226092

There are no comments on this title.

to post a comment.


ՀՀ ԳԱԱ հիմնարար գիտական գրադարան
ՀՀ,Երևան 0019
Մարշալ Բաղրամյան 24/6
հեռախոս:(374-10) 52-47-50
Հետադարձ կապ

All site content, except where otherwise noted, is licensed under a
Creative Commons License