A theory of formal deducibility

Zapisane w:
Opis bibliograficzny
1. autor: Curry, Haskell B (Autor)
Format: Książka
Język:angielski
Wydane: Notre Dame University of Notre Dame 1950
Seria:Notre Dame Mathematical Lectures, 6
Hasła przedmiotowe:
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!