A theory of formal deducibility

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Curry, Haskell B (Author)
Format: Knjiga
Jezik:angleščina
Izdano: Notre Dame University of Notre Dame 1950
Serija:Notre Dame Mathematical Lectures, 6
Teme:
Oznake: Označite
Brez oznak, prvi označite!