Encyclopedia of Math Encyclopedia sourcePublicationDocument

Т а к е у т и Г., Теория доказательств

http://libmeta.ru/resource/mathenc/publication/p2668

Данные

bibliographicCitation

Т а к е у т и Г., Теория доказательств, пер. с англ., М., 1978

Входящие связи

← references · 1

Секвенций исчисление

← cites · 1

Секвенций исчисление