On a class number formula for real quadratic number fields

By  

Bulletin of the Australian Mathematical Society, Vol. 65, Iss. 2, 2002-04 ,pp. : 259-270

Cambridge University Press

Access to resources Recommend Favorite

On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics

By  

The Journal of Symbolic Logic, Vol. 59, Iss. 3, 1994-09 ,pp. : 737-756

Cambridge University Press

Access to resources Recommend Favorite

CLOSED FORM FORMULA FOR THE NUMBER OF RESTRICTED COMPOSITIONS

By  

Bulletin of the Australian Mathematical Society, Vol. 81, Iss. 2, 2010-04 ,pp. : 289-297

Cambridge University Press

Access to resources Recommend Favorite

Trees as commutative BCK-Algebras

By  

Bulletin of the Australian Mathematical Society, Vol. 23, Iss. 2, 1981-04 ,pp. : 181-190

Cambridge University Press

Access to resources Recommend Favorite

A formula for the exact number of primes below a given bound in any arithmetic progression

By  

Bulletin of the Australian Mathematical Society, Vol. 16, Iss. 1, 1977-02 ,pp. : 67-73

Cambridge University Press

Access to resources Recommend Favorite