LEADER 01321nam0 22003613i 450 
001 RMS0050126
005 20241220063108.0
010   $a081763570X
010   $a376433570X
100   $a20080213d1991    ||||0itac50      ba
101 | $aeng
102   $aus
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aLogic of domains$fGuo-Qiang Zhang
210   $aBoston [etc.]$cBirkhauser$d1991
215   $a259 p.$d24 cm
225 | $aProgress in theoretical computer science
300   $aBibliografia : P. 251-256.
410  0$1001MIL0108342$12001 $aProgress in theoretical computer science
606   $aLinguaggi di programmazione$xSemantica$2FIR$3UFIC047092$9I
606   $aLogica simbolica$2FIR$3NAPC147266$9I
606   $aLogica matematica$2FIR$3NAPC000388$9I
676   $a005.13$9LINGUAGGI DI PROGRAMMAZIONE$v14
676   $a005.13$9LINGUAGGI DI PROGRAMMAZIONE$v22
700  1$aZhang$b, Guo-Qiang$f <1960-    >$3RMSV026958$4070$0754380
801  3$aIT$bIT-NA0079$c20080213
850   $aIT-BN0095          
912   $aRMS0050126
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.13                  ZHA.lo$e 0102 0000009665    B A4                    1 v.$f3 $h19940429$i19940429
977   $a 01
996   $aLogic of domains$91517941
997   $aUNISANNIO