Sequent Calculus

المؤلف : Gentzen, G

المصدر : The Collected Papers of Gerhard Gentzen (Ed. M. E. Szabo). Amsterdam, Netherlands: North-Holland, 1969.

الجزء والصفحة : ...

9-2-2022

المزيد

Cut Elimination Theorem

المؤلف : Gentzen, G

المصدر : The Collected Papers of Gerhard Gentzen (Ed. M. E. Szabo). Amsterdam, Netherlands: North-Holland, 1969.

الجزء والصفحة : ...

23-1-2022

المزيد

Ramanujan Prime

المؤلف : Ramanujan, S.

المصدر : Collected Papers of Srinivasa Ramanujan (Ed. G. H. Hardy, P. V. S. Aiyar, and B. M. Wilson). Providence, RI: Amer. Math. Soc

الجزء والصفحة : ...

20-1-2021

المزيد

Superior Highly Composite Number

المؤلف : Ramanujan, S.

المصدر : "Highly Composite Numbers." Proc. London Math. Soc. 14, 347-407, 1915. Reprinted in Collected Papers (Ed. G. H. Hardy et al. ). New York: Chelsea

الجزء والصفحة : ...

1-12-2020

المزيد

Ramanujan Prime

المؤلف : Ramanujan, S.

المصدر : Collected Papers of Srinivasa Ramanujan (Ed. G. H. Hardy, P. V. S. Aiyar, and B. M. Wilson). Providence, RI: Amer. Math. Soc

الجزء والصفحة : ...

8-10-2020

المزيد

Artin,s Constant

المؤلف : Artin, E

المصدر : Collected Papers (Ed. S. Lang and J. T. Tate). New York: Springer-Verlag, pp. viii-ix, 1965.

الجزء والصفحة : ...

1-10-2020

المزيد

Artin,s Constant

المؤلف : Artin, E.

المصدر : Collected Papers (Ed. S. Lang and J. T. Tate). New York: Springer-Verlag

الجزء والصفحة : ...

11-3-2020

المزيد

Artin,s Constant

المؤلف : Artin, E.

المصدر : Collected Papers (Ed. S. Lang and J. T. Tate). New York: Springer-Verlag

الجزء والصفحة : ...

11-3-2020

المزيد

Artin,s Constant

المؤلف : Artin, E

المصدر : Collected Papers (Ed. S. Lang and J. T. Tate). New York: Springer-Verlag, pp. viii-ix, 1965.

الجزء والصفحة : ...

1-1-2020

المزيد

Fine,s Equation

المؤلف : Andrews, G. E

المصدر : ercy Alexander MacMahon: Collected Papers, Vol. 2. Cambridge, MA: MIT Press,

الجزء والصفحة : ...

22-8-2019

المزيد

Satoshi Suzuki

المؤلف : P Ribenboim

المصدر : Collected papers of Satoshi Suzuki

الجزء والصفحة : ...

19-3-2018

المزيد

Norman Larrabee Alling

المؤلف : P Ribenboim

المصدر : Collected papers of Norman Alling

الجزء والصفحة : ...

19-3-2018

المزيد