LEADER 01351nam0-2200433-i-450-
001 990009504070403321
005 20111215102839.0
010   $a0-444-82306-9
035   $a000950407
035   $aFED01000950407
035   $a(Aleph)000950407FED01
035   $a000950407
100   $a20111215d1996----km-y0itay50------ba
101 0 $aeng
102   $aNL
105   $aa---a---001yy
200 1 $aLogical frameworks for truth and abstraction$ean axiomatic study$fAndrea Cantini
210   $aAmsterdam$cElsevier$d1996
215   $aXII, 461 p.$d24 cm
225 1 $aStudies in logic and the foundations of mathematics$v135
610 0 $aLogica combinatoria e lambda-calcolo
610 0 $aLogica matematica e fondamenti$aPresentazione di ricerche
610 0 $aTeoria della dimostrazione, generale
610 0 $aTeoria della computabilità e della ricorsione astratte ed assiomatiche
610 0 $aFondamenti delle teorie classiche
676   $a511.3$v21$zita
700  1$aCantini,$bAndrea$045544
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a990009504070403321
952   $aC-30-(135$b24962$fMA1
959   $aMA1
962   $a03B40
962   $a03-02
962   $a03F03
962   $a03D75
962   $a03B30
996   $aLogical frameworks for truth and abstraction$9851553
997   $aUNINA