Поиск :
Личный кабинет :
Электронный каталог: Weir, A. - Truth through proof
Weir, A. - Truth through proof
Доступно
1 из 1
1 из 1
Книга
Автор: Weir, A.
Truth through proof : a formalist foundation for mathematics
Издательство: Clarendon Press, 2010 г.
ISBN 978-0-19-954149-2
Автор: Weir, A.
Truth through proof : a formalist foundation for mathematics
Издательство: Clarendon Press, 2010 г.
ISBN 978-0-19-954149-2
Заказать 
На полку
Книга
16 W88
Weir, A.
Truth through proof: a formalist foundation for mathematics / A. Weir. – Oxford: Clarendon Press, 2010. – 281 с. – На англ. яз. – ISBN 978-0-19-954149-2.
16
510.2:1
111
общий = Математика = mathematics : философские проблемы математики = philosophical issues in mathematics [510.2:1]
общий = Философия : логика. Эпистемиология. Теория познания [16]
общий = Философия : метафизика. Учение о бытии. Онтология [111]
47075 ин Библиотека НИУ ВШЭ Ст. Басманная к. А, контр.экз.: Staraya Basmannaya block A, Single copy Научный 16 W88
16 W88
Weir, A.
Truth through proof: a formalist foundation for mathematics / A. Weir. – Oxford: Clarendon Press, 2010. – 281 с. – На англ. яз. – ISBN 978-0-19-954149-2.
16
510.2:1
111
общий = Математика = mathematics : философские проблемы математики = philosophical issues in mathematics [510.2:1]
общий = Философия : логика. Эпистемиология. Теория познания [16]
общий = Философия : метафизика. Учение о бытии. Онтология [111]
47075 ин Библиотека НИУ ВШЭ Ст. Басманная к. А, контр.экз.: Staraya Basmannaya block A, Single copy Научный 16 W88