Vista normal Vista MARC Vista ISBD

Curry, Haskell B.

Lógica combinatoria/ Haskell B. Curry, Robert Feys; trad.Manuel Sacristan - España : TECNOS, 1964 - 508 p

incuye bibliografía e índice

1. el teorema de Church - Rosser, -- 2.la teoría básica de la funcionalidad

Subjects--Topical Terms:
LOGICA SIMBOLICA Y MATEMATICA

Dewey Class. No.: 164 C87