A theory of formal deducibility

I tiakina i:
Ngā taipitopito rārangi puna kōrero
Kaituhi matua: Curry, Haskell B (Author)
Hōputu: Pukapuka
Reo:Ingarihi
I whakaputaina: Notre Dame University of Notre Dame 1950
Rangatū:Notre Dame Mathematical Lectures, 6
Ngā marau:
Ngā Tūtohu: Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!