00861nam0-22003011i-450-990000980090403321000098009FED01000098009(Aleph)000098009FED01000098009--------d--------km-y0itay50------baeng<<A >>Theory of Formal Deducibilityby Haskell B. Curry3rd printingNotre Dame [Indiana]University of Notre Dame Press1966c1950xi, 129 p.23 cmNotre Dame Mathematical Lecturesno. 6LogicaRicorsività160Curry,Haskell B.557ITUNINARICAUNIMARCBK9900009800904033217-0515418FI1FI1Theory of Formal Deducibility353313UNINA