Полное описание

510.6/S80-879704
Srivastava, S. M. A course on mathematical logic / S. M. Srivastava. - Electronic text data. - New York, NY : Springer Science + Business Media LLC, 2008. - (Universitext). - URL: http://dx.doi.org/10.1007/978-0-387-76277-7. - ISBN 978-0-387-76277-7.

ГРНТИ	УДК
27.03.19	510
03.91

Кл.слова (ненормированные): математическая логика -- теорема полноты геделя -- теорема о неполноте геделя
Доп. точки доступа:
SpringerLink (Online service)

http://dx.doi.org/10.1007/978-0-387-76277-7

Просмотр издания