zbMATH — the first resource for mathematics

Mathematical logic and programming languages. (A Discussion Meeting of the Royal Society of London, held on February 15 and 16, 1984). (English) Zbl 0626.68003
Prentice-Hall International Series in Computer Science. Englewood Cliffs, New Jersey etc.: Prentice/Hall International. 184 p.; $ 69.95 (Orig. The Royal Society of London) (1985).
The articles of this volume were reviewed individually within the journal “Philos. Trans. R. Soc., Ser. A 312, 1984”.

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
00Bxx Conference proceedings and collections of articles