Mathematical logic in computer science

Author(s)

• Dömölki, B.
• Gergely, T. (Tamás)
• Colloquium on Mathematical Logic in Computer Science
• Bolyai János Matematikai Társulat

Bibliographic Information

Mathematical logic in computer science

edited by B. Dömölki and T. Gergely

（Colloquia Mathematica Societatis János Bolyai, 26）

North-Holland Pub. Co., 1981

Note

Papers presented at the Colloquium on Mathematical Logic in Computer Science held in Salgótarján, September 10-15, 1978 under the auspices of Bolyai Janos Mathematical Society

Details

• NCID: BA06314151
• ISBN:
  • 0444854401
• LCCN: 82101557
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam ; New York
• Pages/Volumes: 758 p.
• Size: 25 cm
• Classification:
  • LCC : QA76
  • DC19 : 519.4
• Subject Headings:
  • LCSH : Programming (Electronic computers) -- Addresses, essays, lectures
  • LCSH : Programming languages (Electronic computers) -- Semantics -- Addresses, essays, lectures
• Parent Bibliography ID:
  • BA00096943