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!

Biblioteca de Matemática -

Informace o exemplářích z: Biblioteca de Matemática -
Signatura: 511.3 CUR 1950
Jednotka 2689553 Dostupné Požadavek