LEADER 00868nam0-22003131i-450-
001 990000966740403321
010   $a90-277-0929-7
035   $a000096674
035   $aFED01000096674
035   $a(Aleph)000096674FED01
035   $a000096674
100   $a20000920d1979----km-y0itay50------ba
101 0 $aeng
200 1 $aModel Theory for Modal Logic$eKripke Models for Modal Predicate Calculi$fKenneth A. Bowen
210   $aDordrecht (NL)$cReidel$d1979
215   $ax, 127 p.$d23 cm
225 1 $aSynthese Library$vvol. 127
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aBowen,$bKenneth A.$045216
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000966740403321
952   $a7-234$b11856$fFI1
959   $aFI1
996   $aModel Theory for Modal Logic$9358645
997   $aUNINA
DB    $aING01