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 |
Browsing Сховище дослідницьке shelves Close shelf browser (Hides shelf browser)
| QA9.A1 W43 1972 What is mathematical logic? | QA9.A5 B37 1965 Philosophy of mathematics | QA9.A5 B48 1965 Mathematical thought | QA9.A5 C87 1966 A theory of formal deducibility | QA9.A5 D45 1971 A profile of mathematical logic | QA9.A5 K54 1967 Mathematical logic | QA9.A5 T47 2012 A logic-driven analysis of the decision making process |
Бібліогр. : c. 123-129
There are no comments on this title.
Log in to your account to post a comment.
