Mathematical logic in computer science /

Bibliographic Details
Corporate Authors:	Colloquium on Mathematical Logic in Computer Science, Bolyai János Matematikai Társulat
Other Authors:	Dömölki, B., Gergely, T. (Tamás)
Format:	Conference Proceeding Book
Language:	English
Published:	Amsterdam ; New York : North-Holland Pub. Co., 1981.
Series:	Colloquia mathematica Societatis János Bolyai ; 26.
Subjects:	Computer programming. Programming languages (Electronic computers) > Semantics.

Description
Item Description:	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.
Physical Description:	758 pages : illustrations ; 25 cm.
ISBN:	0444854401
ISSN:	0139-3383 ;