Models and Sets

By Logic Colloquium 1983 Aachen Germany, G. H. Muller

Computation and Proof Theory

By M. M. Richter

Logic Colloquium 73

By Logic Colloquium 1973 Bristol England, Bristol Eng. 1973. Logic Colloquium

Logic Colloquium 86

By F.R. Drake

The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued...

Logic Colloquium 86 Logic Colloquim Proceedings

By Logic Colloquium 1986 Hull Humberside, F. R. Drake, Logic Colloquium 86 Hull England

Logic Colloquium '77

By Logic Colloquium 1977 Wroclaw Poland

Proceedings of the Herbrand Symposium

By Logic Colloquium 1981 Marseille France, J. Stern, Logic Colloquium 81 Marseilles

Logic Colloquium '80

By Logic Colloquium 1980 Prague Czech Republic, D. Lascar D. And Emiley T.J. Van Dalen

Logic Colloquium 88 Logic Colloquim Proceedings

By S. Valentini, R. Ferro, Logic Colloquium 88 1988 Padova Italy, Logic Colloquium 88 Padova Italy, C. Bonotto

Logic Colloquium 87

By M. Garrido, J. Fernandez Prida, Logic Colloquium 87 1987 Granada Spain, H. D. Ebbinghaus