A theory of formal deducibility

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkki: Curry, Haskell B (Dahkki)
Materiálatiipa: Girji
Giella:eaŋgalasgiella
Almmustuhtton: Notre Dame University of Notre Dame 1950
Ráidu:Notre Dame Mathematical Lectures, 6
Fáttát:
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
Lasit vuosttaš kommeantta. Visot kommeanttat leat almmolaččat.!
Čálihuva vuohččan sisa