Catalog

Record Details

Catalog Search



Введение в математическую логику= Introduction to Mathematical Logic  Cover Image Book Book

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

Record details

  • Physical Description: 320 стр. : с илл.
  • Publisher: Москва : Наука , 1971.

Content descriptions

General Note:
Перевод с английского Ф.А. Кабакова.
Под редакцией С.И. Адяна.
Formatted Contents Note:
От редактора перевода -- Предисловие -- Введение -- Исчисление высказываний -- Теории первого порядка -- Формальная арифметика -- Аксиоматическая терия множеств -- Эффективная вычисленность -- Доказательство непрочивности формальной арифметики -- Литертура -- Алфавитный указатель -- Символы и обозначения.
Subject: Логика > Математическая логика.

Available copies

  • 5 of 7 copies available at United Catalog.

Holds

  • 0 current holds with 7 total copies.
Show Only Available Copies
Location Call Number / Copy Notes Barcode Shelving Location Status Due Date
Abonement ს-130353 900000799852 Stacks In transit -
Abonement ს-130354 900000871225 Stacks Available -
Abonement ს-130355 900000872012 Stacks Checked out 08/20/2023
Abonement 2-521223 900001021496 Stacks Available -
Abonement 2-530372 900001915909 Stacks Available -
The Library of the Faculty of Exact and Natural Sciences (Reading Hall 1) 510.6 900001461339 Stacks Available -
The Library of the Faculty of Exact and Natural Sciences (Reading Hall 1) 510.6 900001658982 Stacks Available -


Additional Resources