LEADER 00861nam0-22003011i-450-
001 990000980090403321
035   $a000098009
035   $aFED01000098009
035   $a(Aleph)000098009FED01
035   $a000098009
100   $a--------d--------km-y0itay50------ba
101 0 $aeng
200 1 $a<<A >>Theory of Formal Deducibility$fby Haskell B. Curry
205   $a3rd printing
210   $aNotre Dame [Indiana]$cUniversity of Notre Dame Press$d1966$dc1950
215   $axi, 129 p.$d23 cm
225 1 $aNotre Dame Mathematical Lectures$vno. 6
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aCurry,$bHaskell B.$0557
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000980090403321
952   $a7-051$b5418$fFI1
959   $aFI1
996   $aTheory of Formal Deducibility$9353313
997   $aUNINA