A theory of formal deducibility

Spremljeno u:
Bibliografski detalji
Glavni autor: Curry, Haskell B (Autor)
Format: Knjiga
Jezik:engleski
Izdano: Notre Dame University of Notre Dame 1950
Serija:Notre Dame Mathematical Lectures, 6
Teme:
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!