%A Paul Bernays %T Mathematics as a domain of theoretical science and of mental experience %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 1-4 %A Michael Dummett %T The philosophical basis of intuitionistic logic %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 5-40 %A Abraham Robinson %T Concerning progress in the philosophy of mathematics %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 41-52 %A William W. Boone %A Graham Higman %T An algebraic characterisation of groups with soluble order problem %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 53-54 %A A. Kino %A J. Myhill %T A hierarchy of languages with infinitely long expressions %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 55-71 %A Per Martin-Lof %T An intuitionistic theory of types: predicative part %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 73-118 %A Saunders Maclane %T Sets, topoi, and internal logic in categories %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 119-134 %A F. William Lawvere %T Continuously variable sets: algebraic geometry = geometric logic %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 135-156 %A Robin Milner %T A mathematical model of computing agents %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 157-173 %A Calvin C. Elgot %T Monadic computation and iterative algebraic theories %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 175-230 %A Erwin Engeler %T On the solvability of algorithmic problems %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 231-251 %A J.P. Cleave %T Combinatorial systems II, non-cylindrical problems %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 253-258 %A T. Evans %A K.I. Mandelberg %A M.F. Neff %T Embedding algebras with solvable word problems in simple algebras. Some Boone-Higman type theorems %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 259-277 %A Helmut Schwichtenberg %T Elimination of higher type levels in definitions of primitive recursive functionals by means of transfinite recursion %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 279-303 %A S.S. Wainer %T Some hierarchies based on higher type quantification %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 305-316 %A David Guaspari %T Analytical wellorderings in R %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 317-346 %A Andras Hajnal %A Attila Mate %T Set mappings, partitions and chromatic numbers %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 347-379 %A J. Czermak %T Interpolation theorem for some modal logics %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 381-393 %A Paul Henrard %T Weak elimination of quantifiers and cotheories %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 395-398 %A C.F. Kent %T Independence versus logical independence in the countable case %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 399-408 %A Johann A. Makowsky %T Securable quantifiers, k-unions and admissible sets %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 409-428 %A Mohamed A. Amer %T Parentheses in combinatory logic %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 429-432 %A Jonathan P. Seldin %T Equality in F22 %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 433-444 %A J.C. Shepherdson %T Computation over abstract structures: serial and parallel procedures and Friedman's effective definitional schemes %J Logic Colloquia '73 %C Bristol, UK %D July 1973 %E H.E. Rose %E J.C. Shepherdson %O published as Studies in logic and the foundations of mathematics 80 by North-Holland %K lc lc73 %P 445-513