01160nam a22003015i 4500991002203129707536cr nn 008mamaa121227s1984 gw | s |||| 0|eng d9783540391197b1413729x-39ule_instBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematicaeng511.323AMS 03DAMS 03FComputation and proof theory[e-book] :proceedings of the logic colloquium held in Aachen, July 18–23, 1983, part II /edited by Egon Börger ... [et al.]Berlin :Springer,19841 online resource (viii, 475 p.)Lecture Notes in Mathematics,0075-8434 ;1104MathematicsLogic, Symbolic and mathematicalBörger, EgonSpringer eBookshttp://dx.doi.org/10.1007/BFb0099476An electronic book accessible through the World Wide Web.b1413729x03-03-2205-09-13991002203129707536Computation and proof theory262578UNISALENTOle01305-09-13m@ -enggw 00