02096nam0 22004333i 450 AQ1000236520251003044040.00387571841New York3540571841Berlin20110927d1993 ||||0itac50 baengdez01i xxxe z01nComputational logic and proof theory3. Kurt Godel Colloquium, KGC '93Brno, Czech Republic, August 24-27, 1993proceedingsGeorg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)Berlin [etc.]Springer1993XI,348 p.25 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis713001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis713702 1Goos, GerhardAQ1V006441340Logica matematicaCongressi1993FIRCFIC076346I511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)22ConvegniCongressi e convegniLogica simbolicaLogica matematica <Logica simbolica>CongressiConvegniCongressiCongressi e convegniLogica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Gottlob, GeorgAQ1V001205340Leitsch, Alexander <1952- >AQ1V001206340Mundici, Daniele <1946- >RAVV052856340Kurt Godel Colloquium <3. ; 1993 ; Brno>AQ1V001204070714540KGC '93 <3. ; 1993 ; Brno>NAPV119021Kurt Godel Colloquium <3. ; 1993 ; Brno>ITIT-00000020110927IT-BN0095 AQ10002365Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000014855 VMA FD713 v. 713Y 1994110720110927 01Computational logic and proof theory1381862UNISANNIO