The Journal of the Mathematical Society of Japan publishes original research articles of the highest scientific level in all fields of mathematics. It has been the official journal of the Mathematical Society of Japan since 1948. The journal is open to contributions from mathematicians worldwide.
Volume 13, Number 4
Publication Date: October, 1961
Table of Contents, J. of the Mathematical Society of Japan , vol. 13, no. 4 (1961)
On the inductive definition with quantifiers of second order
Gaisi TAKEUTI; 333-341
A formal system of first-order predicate calculus with infinitely long expressions
Shoji MAEHARA and Gaisi TAKEUTI; 357-370
On the local theory of quaternionic anti-hermitian forms
Takashi TSUKAMOTO; 387-400
On the quadratic norm symbol in local number fields
Katsumi SHIRATANI; 416-430
Journal of the Mathematical Society of Japan