Encyclopedia of Math
Encyclopedia sourcePublicationDocument
Тrое1stra A. S., в кн.: ISILC. Proof theory symposion, В
http://libmeta.ru/resource/mathenc/publication/p1731
Данные
| bibliographicCitation | Тrое1stra A. S., в кн.: ISILC. Proof theory symposion, В., 1975, p. 370-83 |
Входящие связи
← references · 1
← cites · 1