A theory of formal deducibility / Haskell B. Curry.
By: Curry, Haskell B.
Material type:
TextSeries: Notre Dame mathematical lectures no. 6. Publisher: Notre Dame : University of Notre Dame Press, 1966. Description: x, 129 p. 23 cm.
| Item type | Current library | Call number | Materials specified | Status | Barcode | |
|---|---|---|---|---|---|---|
| Книга | Сховище дослідницьке | QA9.A5 C87 1966 (Browse shelf(Opens below)) | I | Available | 2056994 |
Бібліогр. : c. 123-129
There are no comments on this title.
Log in to your account to post a comment.
