Введение в математическую логику. Т.1 / А. Черч ; Пер. с анг. В. С. Чернявского; Под ред. [и с предисл.] В. А. Успенского.

By:

Contributor(s):

Material type: Text

TextLanguage: Russian Original language: English Москва : Изд-во иностр.лит, 1960Description: 485 сSubject(s):

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
წიგნი	ეროვნული სამეცნიერო ბიბლიოთეკა 2 კორპ. 2, საცავი	510.6 (Browse shelf(Opens below))	ს-5077	Available		2017-19354

Previous		No cover image available		No cover image available	No cover image available	No cover image available		Next
Previous	510.5=03 Некорректные обратные задачи теплопроводности /	510.51 Алгоритмы вокруг нас /	510.51(082) Математические методы построения и анализа алгоритмов	510.6 Введение в математическую логику. Т.1 /	510.6 Введение в математическую логику. Т.1 /	510.6 Математическая теория логического вывода :	510.6 Логика и компьютер: Моделирование рассуждений и проверка правильности программ /	Next

Доп. тит.л. на англ. яз.

There are no comments on this title.

to post a comment.