Оревков, В.П.. "Одна специализация формы вывода в генценовских исчислениях и ее приложения." Zapiski naucnych seminarov Leningradskogo 32 (1973): 98-104. <http://eudml.org/doc/66587>.
@article{Оревков1973, author = {Оревков, В.П.}, journal = {Zapiski naucnych seminarov Leningradskogo}, language = {rus}, pages = {98-104}, publisher = {Nauka}, title = {Одна специализация формы вывода в генценовских исчислениях и ее приложения}, url = {http://eudml.org/doc/66587}, volume = {32}, year = {1973}, }
TY - JOUR AU - Оревков, В.П. TI - Одна специализация формы вывода в генценовских исчислениях и ее приложения JO - Zapiski naucnych seminarov Leningradskogo PY - 1973 PB - Nauka VL - 32 SP - 98 EP - 104 LA - rus UR - http://eudml.org/doc/66587 ER -
