Encyclopedia of Math
Encyclopedia sourcePublicationDocument
Ideas and results in proof theory, в кн.: Proc. 2 Scand. logic symposium, Amst.- L
http://libmeta.ru/resource/mathenc/publication/p4707
Данные
| bibliographicCitation | Рrawitz D., Ideas and results in proof theory, в кн.: Proc. 2 Scand. logic symposium, Amst.- L., 1971 |
author