Logic colloquium : proceedings - Parikh R ed.; Symposium on Logic Colloquium( 1972-73 : Boston ); Symposium on Logic Colloquium Boston, 1972-73 (Berlin Springer-Verlag, 1975)
Keywords: Mathematical logic