Chuo University Library

Mathematical logic in computer science

edited by B. Dömölki and T. Gergely. -- North-Holland Pub. Co., 1981. -- (Colloquia mathematica Societatis János Bolyai ; 26). <BB00740178>
URL:

HoldingsList 1-1 of about 1

No. Volumes CL Library Location Call No Material ID Status Due Date Reservation
0001 Depository Depository 14
510.78/M42 00015809247 0items
No. 0001
Volumes
CL
Library Depository
Location Depository 14
Call No 510.78/M42
Material ID 00015809247
Status
Due Date
Reservation 0items

Bibliography Details

title and statement of responsibility area Mathematical logic in computer science / edited by B. Dömölki and T. Gergely
publication,distribution,etc.,area Amsterdam : North-Holland Pub. Co. , 1981
physical description area 758 p. : ill. ; 25 cm
Volume Information
ISBN 0444854401
parent bibliography link Colloquia mathematica Societatis János Bolyai <> 26//a
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
NCID BA06314151
text language code English
author link Dömölki, B <AU00134889>
author link Gergely, T. (Tamás) <AU00148136>
author link Colloquium on Mathematical Logic in Computer Science <AU00437276> (1978 : Salgótarján, Hungary)
author link Bolyai János Matematikai Társulat <AU00398918>
classification LCC:QA76
classification DC19:519.4
classification Mathematics DC15:510.78
subject headings Programming (Electronic computers) -- Addresses, essays, lectures
subject headings Programming languages (Electronic computers) -- Semantics -- Addresses, essays, lectures