Logic colloquium '77 proceedings of the colloquium held in Wroclaw, August 1977
Logic Colloquium1977Wroclaw.
Macintyre, Angus(Angus J.)
Pacholski, Leszek.
Paris, Jeff.
Polska Akademia Nauk.Instytut Matematyczny.
Politechnika Wroclawska.
Uniwersytet Wrocławski im. Bolesława Bieruta.
Amsterdam Oxford North-Holland Publishing Co.
1978
'The conference was organized and financed by the Mathematical Institute of the Polish Academy of Sciences in collaboration with the Technical University in Wroclaw and Wroclaw University' - Preface
Includes bibliographies
Logic, Symbolic and mathematical