W. W. Tait. A nonconstructive proof of Gentzen's Hauptsatz for second order predicate logic. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 980–983.

Moto-o Takahashi

doi:10.2307/2269888

W. W. Tait. A nonconstructive proof of Gentzen's Hauptsatz for second order predicate logic. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 980–983.

Journal of Symbolic Logic ◽

10.2307/2269888 ◽

1968 ◽

Vol 33 (2) ◽

pp. 289-290 ◽

Cited By ~ 1

Author(s):

Moto-o Takahashi

Keyword(s):

Predicate Logic ◽

American Mathematical Society ◽

Second Order ◽

Mathematical Society

Download Full-text

Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Bulletin of the American Mathematical Society, vol. 74 (1968), pp. 1025–1029. - Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Transactions of the American Mathematical Society, vol. 141 (1969), pp. 1–35.

Journal of Symbolic Logic ◽

10.2307/2272788 ◽

1972 ◽

Vol 37 (3) ◽

pp. 618-619

Author(s):

Dirk Siefkes

Keyword(s):

American Mathematical Society ◽

Second Order ◽

Mathematical Society ◽

Infinite Trees

Download Full-text

W. S. Loud, Periodic Solution of Perturbed Second-order Autonomous Equations. (Memoirs of the American Mathematical Society, Number 47) 133 S. Providence 1964. American Mathematical Society. Preis brosch. $ 2.10

ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik ◽

10.1002/zamm.19650450625 ◽

1965 ◽

Vol 45 (6) ◽

pp. 451-451

Author(s):

R. Reiszig

Keyword(s):

Periodic Solution ◽

American Mathematical Society ◽

Second Order ◽

Mathematical Society

Download Full-text

Geometric Asymptotics for Nonlinear PDE. I. By V. P. MASLOV & G. A. OMEL’YANOV. Translations of Mathematical Monographs, Vol. 202, American Mathematical Society, 2001. 285 pp. ISBN 0-8218-2109-1.

Journal of Fluid Mechanics ◽

10.1017/s0022112002228979 ◽

2002 ◽

Vol 461 ◽

pp. 408-410

Keyword(s):

American Mathematical Society ◽

Nonlinear Pde ◽

Mathematical Society

Download Full-text

Review of "Data Structures, Near Neighbor Searches, and Methodology: Fifth and Sixth DIMACS Implementation Challenge by Michael H. Goldwasser, David S. Johnson, Catherine C. McGeoch", American Mathematical Society 2002

ACM SIGACT News ◽

10.1145/1107523.1107529 ◽

2005 ◽

Vol 36 (4) ◽

pp. 5-8

Author(s):

Maulik A. Dave

Keyword(s):

Data Structures ◽

American Mathematical Society ◽

Near Neighbor ◽

Mathematical Society ◽

Implementation Challenge

Download Full-text

Citations versus expert opinions: citation analysis of featured reviews of the American Mathematical Society

Scientometrics ◽

10.1007/s11192-021-03894-2 ◽

2021 ◽

Vol 126 (5) ◽

pp. 3853-3870

Author(s):

Lawrence Smolinsky ◽

Daniel S. Sage ◽

Aaron J. Lercher ◽

Aaron Cao

Keyword(s):

Citation Analysis ◽

American Mathematical Society ◽

Mathematical Society ◽

Expert Opinions

Download Full-text

S. C. Kleene. Permutability of inferences in Gentzen's calculi LK and LJ. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 1–26. - S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 27–66. - S. C. Kleene. Bibliography. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 67–68. - William Craig. On axiomatizability within a system. The journal of symbolic logic, vol. 18 (1953), pp. 30–32.

Journal of Symbolic Logic ◽

10.2307/2267666 ◽

1954 ◽

Vol 19 (1) ◽

pp. 62-63

Author(s):

Robert McNaughton

Keyword(s):

American Mathematical Society ◽

Predicate Calculus ◽

Mathematical Society ◽

Symbolic Logic ◽

Finite Axiomatizability

Download Full-text

THE AMERICAN MATHEMATICAL SOCIETY

Science ◽

10.1126/science.55.1431.600 ◽

1922 ◽

Vol 55 (1431) ◽

pp. 600-602

Author(s):

R. G. D. Richardson

Keyword(s):

American Mathematical Society ◽

Mathematical Society

Download Full-text

The twelfth annual meeting of the American Mathematical Society

Bulletin of the American Mathematical Society ◽

10.1090/s0002-9904-1906-01320-9 ◽

1906 ◽

Vol 12 (5) ◽

pp. 223-235

Author(s):

F. N. Cole

Keyword(s):

Annual Meeting ◽

American Mathematical Society ◽

Mathematical Society

Download Full-text

HILBERT C*-MODULES (Translations of Mathematical Monographs 226) By V. M. MANUILOV and E. V. TROITSKY: 202 PP., US$85.00, ISBN 0-8218-3810-5 (American Mathematical Society, 2005)

Bulletin of the London Mathematical Society ◽

10.1112/s0024609306213845 ◽

2006 ◽

Vol 38 (04) ◽

pp. 696-697

Author(s):

Christopher Lance

Keyword(s):

American Mathematical Society ◽

Mathematical Society

Download Full-text

THE ANNUAL MEETING OF THE AMERICAN MATHEMATICAL SOCIETY

Science ◽

10.1126/science.100.2607.540-b ◽

1944 ◽

Vol 100 (2607) ◽

pp. 540-541

Author(s):

T. R. HOLLCROFT

Keyword(s):

Annual Meeting ◽

American Mathematical Society ◽

Mathematical Society

Download Full-text