Хайлтын үр дүнгүүд - Curry, Haskell B

  • 2-н 1 - 2 үр дүнгүүдийг харуулж байна
Үр дүнг сайжруулах
  1. 1
    Нүүр зураг

    A theory of formal deducibility -н Curry, Haskell B

    Хэвлэсэн 1950
    Ном

    Жагсаалт руу хадгалах
    -д хадгалсан:
  2. 2
    Нүүр зураг

    Lógica combinatoria -н Curry, Haskell B, Feys, Robert

    Хэвлэсэн 1967
    Ном

    Жагсаалт руу хадгалах
    -д хадгалсан:

Хайх хэрэгслүүд: