Takano, Mitio. "Completeness of a cut-free calculus with equality and function constants.." Archiv für mathematische Logik und Grundlagenforschung 25 (1985): 37-42. <http://eudml.org/doc/138035>.
@article{Takano1985, author = {Takano, Mitio}, journal = {Archiv für mathematische Logik und Grundlagenforschung}, keywords = {cut elimination; partial valuation}, pages = {37-42}, title = {Completeness of a cut-free calculus with equality and function constants.}, url = {http://eudml.org/doc/138035}, volume = {25}, year = {1985}, }
TY - JOUR AU - Takano, Mitio TI - Completeness of a cut-free calculus with equality and function constants. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1985 VL - 25 SP - 37 EP - 42 KW - cut elimination; partial valuation UR - http://eudml.org/doc/138035 ER -