Logic Colloquium'87, Proceedings of the Colloquium held in Granada
H.-D. Ebbinghaus, J. Fernandez-Prida, M. Garrido, D. Lascar and M. Rodriquez Artalejo (Eds.)
Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume. The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages
年:
1989
出版商:
North-Holland
語言:
english
ISBN 10:
0444880224
ISBN 13:
9780444880222
系列:
Studies in Logic and the Foundations of Mathematics 129
文件:
PDF, 6.71 MB
IPFS:
,
english, 1989