A theory of formal deducibility


Haskell B. Curry
Bok Språk ikke angitt 1957
Utgitt
Notre Dame, Ind. , 1957
Omfang
xi, 129 s.
Emner

Bibliotek som har denne