Record:   Prev Next
Author Curry, Haskell B. (Haskell Brooks), 1900-
Title A theory of formal deducibility
Imprint Notre Dame, 1950
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA9 C934    AVAILABLE    30340200022568
Descript ix, 126 p. 23 cm
Series Notre Dame mathematical lectures ; no. 6
Note Bibliography: p. 123-126
Subject Logic, Symbolic and mathematical
Record:   Prev Next