Repository | Book | Chapter

COPR BookmarkLink
255929

(1969) Sektionen I-IV, Freiburg-Basel-Wien, Herder.

The achievements of logical formalization

Haskell B Curry

pp. 198-201

Publication details

DOI: 10.5840/wcp141969336

Full citation:

Curry, H. (1969)., The achievements of logical formalization, in L. Gabriel (ed.), Sektionen I-IV, Freiburg-Basel-Wien, Herder, pp. 198-201.

This document is unfortunately not available for download at the moment.