Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Book
%1 citeulike:14245126
%A Curry, Haskell B.
%D 1966
%K 03b22-abstract-deductive-systems, 18a15-category-theory-foundations-relations-to-logic-and-deductive-systems
%T A Theory of Formal Deducibility
%U http://www.worldcat.org/isbn/0268002746
%@ 0268002746