LEADER 01032nam0-22003611i-450-
001 990001318070403321
010   $a0-521-37181-3
035   $a000131807
035   $aFED01000131807
035   $a(Aleph)000131807FED01
035   $a000131807
100   $a20000920d1989----km-y0itay50------ba
101 0 $aeng
200 1 $aProofs and Types$fJean-Yves Girard
210   $aCambridge$cCambridge University Press$d1989
215   $aXI, 176 p., 26 cm
225 1 $aCambridge tracts in theoretical computer science$v7
300   $aReprinted with minor corrections 1990.
610 0 $aTeoria della dimostrabilita
610 0 $aLogica combinatoria e calcolo lambda
610 0 $aLogica di programmazione
676   $a511.3
700  1$aGirard,$bJean-Yves$059717
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001318070403321
952   $a120-M-19$b10511$fMA1
959   $aMA1
962   $a03F03
962   $a03B40
996   $aProofs and Types$9382479
997   $aUNINA
DB    $aING01