120912

References

Haskell B Curry

The achievements of logical formalization

1969

in: Sektionen I-IV, Freiburg-Basel-Wien : Herder

Open Access Link