A theory of formal deducibility

Gorde:
Xehetasun bibliografikoak
Egile nagusia: Curry, Haskell B (Egilea)
Formatua: Liburua
Hizkuntza:ingelesa
Argitaratua: Notre Dame University of Notre Dame 1950
Saila:Notre Dame Mathematical Lectures, 6
Gaiak:
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!