Ламбада-исчисление : Хендрик Барендрегт ; Пер. с англ. Г. Е. Минца ; Под ред. А. С. Кузичева. Его синтаксис и семантика /

By:

Contributor(s):

Material type: Text

TextLanguage: Russian Москва : Мир, 1985Description: 606 с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
წიგნი	ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ.	510.6 (Browse shelf(Opens below))	2R653609	შესამოწმებელია		2016-25538

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	No cover image available	Next
Previous	510.6 Проблема неполноты теории и ее гносеологическое значение /	510.6 Проблема неполноты теории и ее гносеологическое значение /	510.6 Применения методов теории доказательств в теории категории /	510.6 Ламбада-исчисление :	510.6 Отрицание в логике и грамматике /	510.6 Математические методы в теории научно-технической информации :	510.6 Философско-методологические аспекты релевантной логики /	Next

Библиогр. : с. 574-586.

There are no comments on this title.

to post a comment.

National Science Library of Georgia