Nr. 38 (1995): RS-38 Gödelisation in the lambda-Calculus

Publiceret: 1995-06-08