01090nam a22002655i 4500991002151779707536cr nn 008mamaa121227s1968 gw | s |||| 0|eng d9783540358862b1412936x-39ule_instBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematicaeng51023Proceedings of the summer school in logic Leeds, 1967[e-book] :N. A. T. O. Advanced study institute meeting of the association for symbolic logic /edited by M. H. Löb Berlin :Springer,19681 online resource (331 p.)Lecture Notes in Mathematics,0075-8434 ;70MathematicsLöb, M. H.Springer eBookshttp://dx.doi.org/10.1007/BFb0079093An electronic book accessible through the World Wide Web.b1412936x03-03-2205-09-13991002151779707536Proceedings of the Summer School in Logic, Leeds, 196783182UNISALENTOle01305-09-13m@ -enggw 00