1.

図書

図書
by Ernest A. Michael
出版情報: Providence, R.I. : American Mathematical Society, 1952
シリーズ名: Memoirs of the American Mathematical Society ; no. 11
所蔵情報: loading…
2.

図書

図書
by S.C. Kleene
出版情報: Providence, R.I. : American Mathematical Society, 1952
シリーズ名: Memoirs of the American Mathematical Society ; no. 10
所蔵情報: loading…
目次情報:
Permutability of inferences in Gentzen's calculi L̲K̲ and L̲J
Finite axiomatizability of theories in the predicate calculus using additional predicate symbols
Permutability of inferences in Gentzen's calculi L̲K̲ and L̲J
Finite axiomatizability of theories in the predicate calculus using additional predicate symbols
3.

図書

図書
by Reinhold Baer
出版情報: New York : Academic Press, 1952
シリーズ名: Pure and applied mathematics ; v. 2
所蔵情報: loading…
4.

図書

図書
by Samuel Eilenberg and Norman Steenrod
出版情報: Princeton : Princeton University Press, 1952
シリーズ名: Princeton mathematical series ; no. 15
所蔵情報: loading…
5.

図書

図書
by Hermann Weyl ; translated from the German by Henry L. Brose
出版情報: New York : Dover Pub., 1952
シリーズ名: Dover books on relativity and related areas
所蔵情報: loading…
6.

図書

図書
by Hermann Weyl
出版情報: Princeton : Princeton University Press, 1952
所蔵情報: loading…
7.

図書

図書
Raymond L. Wilder
出版情報: New York : J. Wiley, c1952
所蔵情報: loading…
8.

図書

図書
Robert C. Yates
出版情報: New York : McGraw-Hill, 1952
所蔵情報: loading…
9.

図書

図書
United States. National Bureau of Standards. Computation Laboratory
出版情報: Washington : United States Department of Commerce, National Bureau of Standards ; for sale by the Superintendent of Documents, U.S. Government Printing Office, 1952
シリーズ名: National Bureau of Standards applied mathematics series ; 17
所蔵情報: loading…
10.

図書

図書
United States. Dept. of Commerce. National Bureau of Standards
出版情報: Washington, D. C. : U. S. Government Printing Office, 1952
シリーズ名: National Bureau of Standards applied mathematics series ; 25
所蔵情報: loading…