Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982

Author(s)

• Logic Colloquium
• Lolli, Gabriele
• Longo, Giuseppe
• Marcja, A. (Annalisa)

Bibliographic Information

Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982

edited by G. Lolli, G. Longo, and A. Marcja

（Studies in logic and the foundations of mathematics, v. 112）

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984

• : U.S.

Note

Includes bibliographies

Details

• NCID: BA0401752X
• ISBN:
  • 0444868763
• LCCN: 84001630
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam ; New York,New York, N.Y.
• Pages/Volumes: viii, 358 p.
• Size: 23 cm
• Classification:
  • LCC : QA9.7
  • DC19 : 511/.8
• Subject Headings:
  • LCSH : Model theory -- Congresses
  • LCSH : Categories (Mathematics) -- Congresses
  • LCSH : Lambda calculus -- Congresses
• Parent Bibliography ID:
  • BA00099329