Поиск :
Личный кабинет :
Электронный каталог: Negri, S. - Structural proof theory
Negri, S. - Structural proof theory
Доступно
1 из 1
1 из 1
Книга
Автор: Negri, S.
Structural proof theory
Издательство: Cambridge University Press, 2008 г.
ISBN 978-0-521-06842-0
Автор: Negri, S.
Structural proof theory
Издательство: Cambridge University Press, 2008 г.
ISBN 978-0-521-06842-0
Заказать 
На полку
Книга
51 N34
Negri, S.
Structural proof theory / S. Negri, J. Plato von. – Cambridge [etc.]: Cambridge University Press, 2008. – 256 с. – На англ. яз. – ISBN 978-0-521-06842-0.
510.6
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
35677 ин Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 51 N34
51 N34
Negri, S.
Structural proof theory / S. Negri, J. Plato von. – Cambridge [etc.]: Cambridge University Press, 2008. – 256 с. – На англ. яз. – ISBN 978-0-521-06842-0.
510.6
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
35677 ин Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 51 N34