Home | Help | New Search | 中文模式

AS Library Service 


Start Over Hold this item Export MARC Display Return To Browse Another Search
   
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
Start Over Hold this item Export MARC Display Return To Browse Another Search


Home | Help | 中文模式