LEADER 01025nam0-2200361---450-
001 990001182600403321
005 20101201170027.0
010   $a88-7088-105-9
035   $a000118260
035   $aFED01000118260
035   $a(Aleph)000118260FED01
035   $a000118260
100   $a20001205d1984----km-y0itay50------ba
101 0 $aeng
102   $aIT
105   $ay-------001yy
200 1 $aIntuitionistic type theory$fPer Martin-Löf$gnotes by Giovanni Sambin of a series of lectures given in Padua, June 1980
210   $aNapoli$cBibliopolis$d1984
215   $a91 p.$d24 cm
225 1 $aStudies in proof theory$v1
610 0 $aLogica
610 0 $aRicorsività
700  1$aMartin-Löf,$bPer$f<1942- >$0346821
702  1$aSambin,$bGiovanni
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001182600403321
952   $a113-G-20$b2688$fMA1
952   $a7-321$b23594$fFI1
959   $aMA1
959   $aFI1
996   $aIntuitionistic type theory$9342433
997   $aUNINA