Catalog

Record Details

Catalog Search


ძიების შედეგი ერთეულების ჩვენება 1 დან 1

Введение в математическую логику= Introduction to Mathematical Logic / Э. Мендельсон; Редактор: В. В. Донченко.

Мендельсон, Э. (Эллиот Мендельсон). (ავტორი). Донченко, В. В. , Редактор. (ავტორობით).
პუბლიკაციის გამოსახულება

ხელმისაწვდომი ასლები

  • 5 of 6 copies available at გაერთიანებული კატალოგი.

ამჟამინდელი მდგომარეობა

0 current holds with 6 total copies.

მდებარეობა ინვენტარის ნომერი / შენიშვნების ასლი ბარკოდი თაროზე განთავსების ადგილი სტატუსი ზუსტი თარიღი
აბონემენტი ს-130353 900000799852 Stacks გზაშია -
აბონემენტი ს-130354 900000871225 Stacks განთავსებულია -
აბონემენტი ს-130355 900000872012 Stacks ხელმისაწვდომია -
აბონემენტი 2-521223 900001021496 Stacks ხელმისაწვდომია -
ზუსტ და საბუნებისმეტყველო მეცნიერებათა ფაკულტეტის ბიბლიოთეკა (პირველი დარბაზი) 510.6 900001461339 Stacks ხელმისაწვდომია -
ზუსტ და საბუნებისმეტყველო მეცნიერებათა ფაკულტეტის ბიბლიოთეკა (პირველი დარბაზი) 510.6 900001658982 Stacks ხელმისაწვდომია -

დამატებითი ინფორმაცია

  • ფიზიკური აღწერილობა: 320 стр. : с илл.
  • გამომცემლობა: Москва : Наука , 1971.

წიგნის აღწერილობა

ზოგადი შენიშვნა: Перевод с английского Ф.А. Кабакова.
Под редакцией С.И. Адяна.
სარჩევი От редактора перевода -- Предисловие -- Введение -- Исчисление высказываний -- Теории первого порядка -- Формальная арифметика -- Аксиоматическая терия множеств -- Эффективная вычисленность -- Доказательство непрочивности формальной арифметики -- Литертура -- Алфавитный указатель -- Символы и обозначения.
თემა: Логика > Математическая логика.
LDR 00620cam a2200205Ka 4500
00188812
003GUL
00520180209103716.0
008070101s1971 rus d
035 . ‡a(LIBRARYS)88812
0800 . ‡a510.6
1001 . ‡aМендельсон, Э. ‡q(Эллиот Мендельсон).
24510. ‡aВведение в математическую логику= ‡bIntroduction to Mathematical Logic / ‡cЭ. Мендельсон; Редактор: В. В. Донченко.
260 . ‡aМосква : ‡bНаука , ‡c1971.
300 . ‡a320 стр. : ‡bс илл.
500 . ‡aПеревод с английского Ф.А. Кабакова.
500 . ‡aПод редакцией С.И. Адяна.
505 . ‡aОт редактора перевода -- Предисловие -- Введение -- Исчисление высказываний -- Теории первого порядка -- Формальная арифметика -- Аксиоматическая терия множеств -- Эффективная вычисленность -- Доказательство непрочивности формальной арифметики -- Литертура -- Алфавитный указатель -- Символы и обозначения.
65014. ‡aЛогика ‡xМатематическая логика.
7001 . ‡aДонченко, В. В. , ‡eРедактор.
911 . ‡aზეინაბ ზოზიაშვილი.
901 . ‡a88812 ‡bAUTOGEN ‡c88812 ‡tbiblio ‡sSystem Local
ძიების შედეგი ერთეულების ჩვენება 1 დან 1

Additional Resources