LEADER 02096nam0 22004333i 450 
001 AQ10002365
005 20251003044040.0
010   $a0387571841$bNew York
010   $a3540571841$bBerlin
100   $a20110927d1993    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aComputational logic and proof theory$e3. Kurt Godel Colloquium, KGC '93$eBrno, Czech Republic, August 24-27, 1993$eproceedings$fGeorg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)
210   $aBerlin [etc.]$cSpringer$d1993
215   $aXI,348 p.$d25 cm
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v713
410  0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v713$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340
606   $aLogica matematica$xCongressi$x1993$2FIR$3CFIC076346$9I
676   $a511.3$9LOGICA MATEMATICA (LOGICA SIMBOLICA)$v14
676   $a511.3$9LOGICA MATEMATICA (LOGICA SIMBOLICA)$v22
696   $aConvegni$aCongressi e convegni$aLogica simbolica$aLogica matematica <Logica simbolica>
699   $aCongressi$yConvegni
699   $aCongressi$yCongressi e convegni
699   $aLogica matematica$zLogica simbolica
699   $aLogica matematica$yLogica matematica <Logica simbolica>
702  1$aGottlob$b, Georg$3AQ1V001205$4340
702  1$aLeitsch$b, Alexander$f <1952-    >$3AQ1V001206$4340
702  1$aMundici$b, Daniele$f <1946-    >$3RAVV052856$4340
710 12$aKurt Godel Colloquium$d <3.$f ; 1993$e ; Brno>$3AQ1V001204$4070$0714540
791 12$aKGC '93$d <3.$f ; 1993$e ; Brno>$3NAPV119021$zKurt Godel Colloquium <3. ; 1993 ; Brno>
801  3$aIT$bIT-000000$c20110927
850   $aIT-BN0095          
912   $aAQ10002365
950  0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL.     ING.                    LNCS$e 0102 0000014855  VMA FD713                 v. 713$fY $h19941107$i20110927
977   $a 01
996   $aComputational logic and proof theory$91381862
997   $aUNISANNIO