A theory of formal deducibility.


Autoria(s): Curry, Haskell B. (Haskell Brooks), 1900-1982.
Data(s)

31/12/1969

Resumo

Bibliography: p. 123-129.

Mode of access: Internet.

Formato

ren

Identificador

http://hdl.handle.net/2027/coo.31924001505340

Idioma(s)

eng

Publicador

Notre Dame, Ind.,

Direitos

Items in this record are available as Public Domain, Google-digitized. View access and use profile at http://www.hathitrust.org/access_use#pd-google. Please see individual items for rights and use statements.

Palavras-Chave #Logic, Symbolic and mathematical
Tipo

text