A theory of formal deducibility

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Curry, Haskell B (Tekijä)
Aineistotyyppi: Kirja
Kieli:englanti
Julkaistu: Notre Dame University of Notre Dame 1950
Sarja:Notre Dame Mathematical Lectures, 6
Aiheet:
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!