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.

Remote Storage