A theory of formal deducibility

-д хадгалсан:
Номзүйн дэлгэрэнгүй
Үндсэн зохиолч: Curry, Haskell B (Зохиогч)
Формат: Ном
Хэл сонгох:англи
Хэвлэсэн: Notre Dame University of Notre Dame 1950
Цуврал:Notre Dame Mathematical Lectures, 6
Нөхцлүүд:
Шошгууд: Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!