edited by R. Ferro ... [et al.]

North-Holland 1989 Studies in logic and the foundations of mathematics v. 127

Available at 38 libraries