Введение в математическую логику / Эллиот Мендельсон ; Перевод с англ. Ф. А. Кабакова ; Под ред. С. И. Адяна.

By:

Contributor(s):

Material type: Text

TextLanguage: Russian Москва : Наука, 1976Edition: 2-е изд. испрDescription: 320 с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))	ს-8150	Available		2017-285604

Previous	No cover image available		No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	510.6 Математическая теория логического вывода :	510.6 Логика и компьютер: Моделирование рассуждений и проверка правильности программ /	510.6 Введение в математическую логику /	510.6 Введение в математическую логику /	510.6 Теория доказательств /	510.6 Математика и логика :	510.6 Теория доказательств /	Next

лит-ра 296-309 с.

There are no comments on this title.

to post a comment.