TY - BOOK AU - Parikh R ed. ED - Symposium on Logic Colloquium( 1972-73 : Boston ) ED - Symposium on Logic Colloquium TI - Logic colloquium : proceedings SN - 3-540-07155-5 U1 - 511.3 PY - 1975/// CY - Berlin PB - Springer-Verlag KW - Mathematical logic ER -