Научная библиотека ТГУ catalog › Results of search for 'an:"540630"'

Search

Your search returned 4 results.

	1.	No cover image available Справочная книга по математической логике Ч. 2 в 4 ч. Д. Р. Шенфилд, Т. Д. Йех, К. Кюнен и др. ; пер. с англ. В. Г. Кановея ; под ред. Дж. Барвайса by Шенфилд, Джозеф Р \| Йех, Т. Д \| Кюнен, К \| Барвайс, Дж [edt] \| Кановей, Владимир Григорьевич [trl]. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Наука 1982Other title: Теория множеств.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available Справочная книга по математической логике Ч. 4. Теория доказательств и конструктивная математика / [К. Сморинский, Г. Швихтенберг, Р. Стетмен и др. ]; Пер. Г. В. Давыдова, Г. Е. Минца; Под ред. В. П. Оревкова В 4-х ч. Пер. с англ. Под ред. Дж. Барвайса by Сморинский, К [В. П.] \| Швихтенберг, Г \| Стетмен, Р \| Барвайс, Дж [редактор]. Material type: Text; Format: electronic available online Language: Russian Original language: Undetermined Publication details: М. Наука 1983Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Справочная книга по математической логике Электронный ресурс Ч. 1 в 4 ч. под ред. Дж. Барвайса by Барвайс, Дж \| Кейслер, Х. Дж \| Эклоф, П. Material type: Computer file; Format: electronic available online ; Audience: Specialized; Publication details: [Б. м. б. и. 200-?]Other title: Теория моделей / Дж. Барвайс, Х. Дж. Кейслер, П. Эклоф [и др.] ; пер. с англ. С. С. Гончарова [и др.] ; под ред. Ю. Л. Ершова, Е. А. Палютина, А. Д. Тайманова.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available Справочная книга по математической логике Электронный ресурс Ч. 3 в 4 ч. под ред. Дж. Барвайса by Барвайс, Дж [edt] \| Ершов, Юрий Леонидович, 1940- [edt]. Material type: Computer file; Format: electronic available online Publication details: [Б. м. б. и. 200-?]Other title: Теория рекурсии / пер. с англ. С. Г. Дворникова, И. А. Лаврова ; под ред. Ю. Л. Ершова.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)