Logic Colloquium '90: ASL Summer Meeting in Helsinki.(Lecture Notes in Logic Vol. 2) paper 300 S.
内容
This volume of conference proceedings contains 13 research papers byspeakers representing various fields of mathematical logic, ranging frommodel theory and the philosophy of mathematics to proof and recursion theoryand computer science.