Title of article
On Grzegorczyk induction Original Research Article
Author/Authors
Ch. Cornaros، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1995
Pages
21
From page
1
To page
21
Abstract
We investigate the “mathematical” strength of the theory View the MathML source. In particular we prove the quadratic reciprocity law and Bertrandʹs postulate, using fragments of View the MathML source which employ some well-known number-theoretic functions.
Journal title
Annals of Pure and Applied Logic
Serial Year
1995
Journal title
Annals of Pure and Applied Logic
Record number
890005
Link To Document