Logic Colloquium , 1982
Logic colloquium' 82. Proceedings of the Colloquium held in Florence, 23-28 august, 1982. - North-Holland Publishing Comp., 1982. - ( Studies in Logic and the Foundations of Mathematics ; 112).