Математическая логика: учебное пособие

מידע ביבליוגרפי
מחבר ראשי:	Ершов Ю. Л. Юрий Леонидович
מחברים אחרים:	Палютин Е. Н. Евгений Андреевич
שפה:	רוסית
יצא לאור:	СПб., Лань, 2004
מהדורה:	3-е изд. стер.
נושאים:	математическая логика учебные пособия исчисления высказывания множества теория алгебраические системы истинность предикаты модели доказательства алгоритмы рекурсивные функции
פורמט:	ספר
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=67756

פריטים דומים