A theory of formal deducibility

Sparad:
Bibliografiska uppgifter
Huvudupphovsman: Curry, Haskell B (Författare, medförfattare)
Materialtyp: Bok
Språk:engelska
Publicerad: Notre Dame University of Notre Dame 1950
Serie:Notre Dame Mathematical Lectures, 6
Ämnen:
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!