Research Catalog

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic

Title
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.
Author
Logic Colloquium (1980 : Prague, Czechoslovakia)
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.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA9.A1 L63 1980Off-site

Holdings

Details

Additional Authors
  • Dalen, D. van (Dirk), 1932-
  • Lascar, D. (Daniel), 1942-
  • Smiley, T. J. (Timothy John)
  • Association for Symbolic Logic.
Description
x, 342 p.; 23 cm.
Series Statement
Studies in logic and the foundations of mathematics ; v. 108
Subject
Logic, Symbolic and mathematical
Note
  • Papers prepared for a conference which was planned for Aug. 24-30, 1980 in Prague, but which was never held.
ISBN
0444864652 (Elsevier North-Holland)
LCCN
82012611
OCLC
  • ocm08668798
  • SCSB-47377
Owning Institutions
Princeton University Library