@article{Минц1975, author = {Минц, Г.Е.}, journal = {Zapiski naucnych seminarov Leningradskogo}, keywords = {выводы арифметических формул; рекурсивный оператор нормализации; теория моделей; рекурсивная арифметика}, language = {rus}, pages = {67-122}, publisher = {Nauka}, title = {Финитное исследование трансфинитных выводов}, url = {http://eudml.org/doc/66179}, volume = {49}, year = {1975}, }
TY - JOUR AU - Минц, Г.Е. TI - Финитное исследование трансфинитных выводов JO - Zapiski naucnych seminarov Leningradskogo PY - 1975 PB - Nauka VL - 49 SP - 67 EP - 122 LA - rus KW - выводы арифметических формул; рекурсивный оператор нормализации; теория моделей; рекурсивная арифметика UR - http://eudml.org/doc/66179 ER -
