LEADER 01137nam0-2200385-i-450-
001 990009504180403321
005 20111215114920.0
010   $a0-444-89505-1
035   $a000950418
035   $aFED01000950418
035   $a(Aleph)000950418FED01
035   $a000950418
100   $a20111215d1997----km-y0itay50------ba
101 0 $aeng
102   $aNL
105   $aa---a---001yy
200 1 $aAdmissibility of logical inference rules$fVladimir V. Rybakov
210   $aAmsterdam$cElsevier$d1997
215   $a617 p.$d24 cm
225 1 $aStudies in logic and the foundations of mathematics$v136
610 0 $aLogica matematica e fondamenti$aPresentazione di ricerche
610 0 $aLogica proposizionale classica
610 0 $aLogica classica del primo ordine
676   $a511.3$v21$zita
700  1$aRybakov,$bVladimir V.$0514741
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a990009504180403321
952   $aC-30-(136$b24963$fMA1
959   $aMA1
962   $a03-02
962   $a03B05
962   $a03B10
996   $aAdmissibility of logical inference rules$9851490
997   $aUNINA