Reset Filters
Author: (Sumit Ranjan),

Cover is for reference only

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /

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.

Saved in:
Bibliographic Details
Corporate Authors: Logic Colloquium Granada, Spain; Elsevier Science & Technology
Group Author: Ebbinghaus, Heinz-Dieter, 1939
Published: North-Holland ; Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Publisher Address: Amsterdam ; New York : New York, N.Y. :
Publication Dates: 1989.
Literature type: eBook
Language: English
Series: Studies in logic and the foundations of mathematics ; v. 129
Subjects:
Logic, Symbolic and mathematical > Congresses
MATHEMATICS > Infinity
MATHEMATICS > Logic
Logic, Symbolic and mathematical
Logique symbolique et mathe matique > Congre s
Kongre
Mathematische Logik
Electronic books
Conference papers and proceedings
Granada 1987
Online Access: http://www.sciencedirect.com/science/bookseries/0049237X/129
Summary: 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.
Carrier Form: 1 online resource (x, 375 pages).
Bibliography: Includes bibliographical references.
ISBN: 9780444880222
0444880224
9781435686991
1435686993
Index Number: QA9
CLC: O141-532

Related Book Recommendations