Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие

Detalles Bibliográficos
Autor Principal:	Кипнис М. М. Михаил Маркович
Autor Corporativo:	Челябинский государственный педагогический институт (ЧГПИ)
Idioma:	ruso
Publicado:	Челябинск, Изд-во ЧПИ, 1985
Subjects:	Математическая логика высказывания исчисление аксиоматическая арифметика теоремы генценовские системы учебные пособия
Formato:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=278908

Descripción
Descrición Física:	32 с.

Títulos similares