LEADER 01564nam0 22004093i 450 
001 RMS0050126
005 20251003044343.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$3SBLC002225$9I
606   $aLogica matematica$2FIR$3CFIC000378$9E
676   $a005.13$9LINGUAGGI DI PROGRAMMAZIONE$v14
676   $a005.13$9Specifici linguaggi di programmazione$v22
696   $aLogica simbolica$aLogica matematica <Logica simbolica>
699   $aLogica matematica$zLogica simbolica
699   $aLogica matematica$yLogica matematica <Logica simbolica>
700  1$aZhang$b, Guo-Qiang$f <1960-    >$3RMSV026958$4070$0754380
801  3$aIT$bIT-000000$c20080213
850   $aIT-BN0095          
901   $bNAP 01$cSALA DING $n$
912   $aRMS0050126
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.13                  ZHA.lo$e 0102 0000009665  VMA A4                    1 v.$fY $h19940429$i19940429
977   $a 01
996   $aLogic of domains$91517941
997   $aUNISANNIO