A theory of formal deducibility

Uloženo v:
Podrobná bibliografie
Hlavní autor: Curry, Haskell B (Autor)
Médium: Kniha
Jazyk:angličtina
Vydáno: Notre Dame University of Notre Dame 1950
Edice:Notre Dame Mathematical Lectures, 6
Témata:
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!