Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic / edited by D. van Dalen, D. Lascar, T.J. Smiley.

Format:

Book

Conference/Event

Contributor:

Dalen, D. van (Dirk), 1932-

Lascar, D. (Daniel), 1942-

Smiley, T. J. (Timothy John)

Association for Symbolic Logic.

Conference Name:

Logic Colloquium (1980 : Prague, Czechoslovakia)

Series:

Studies in logic and the foundations of mathematics ; v. 108.

Studies in logic and the foundations of mathematics ; v. 108

Language:

English

Subjects (All):

Logic, Symbolic and mathematical--Congresses.

Logic, Symbolic and mathematical.

Genre:

Conference papers and proceedings.

Physical Description:

x, 342 pages ; 23 cm.

Place of Publication:

Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.

Notes:

Papers prepared for a conference which was planned for Aug. 24-30, 1980 in Prague, but which was never held.

Includes bibliographical references.

ISBN:

0444864652

OCLC:

8668798