武蔵大学OPAC
Login
  • Catalog Search Catalog Search ▼
  • User service User Service ▼
    • Your Library Record
    • Bookmark
    • My Search

Musashi University Library

Back to List

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). <BB02076927>
Functions:
Details

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). <BB02076927>
Functions:
Details

HoldingsList 1-1 of about 1

Click a number to display details about the collection.

No. Volumes Library Location Call No Material ID In-Lib only Status Due Date Reservation
0001 図書館 洋プラ上層 007.64//F20 0120852520 可 0items
No. 0001
Volumes
Library 図書館
Location 洋プラ上層
Call No 007.64//F20
Material ID 0120852520
In-Lib only 可
Status
Due Date
Reservation 0items
Go to the top of this page

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 ; New York : 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 <BB07000143> 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. <AU00077281>
author link Gergely, T. (Tamás) <AU00077282>
author link Colloquium on Mathematical Logic in Computer Science <AU00077283> (1978 : Salgótarján, Hungary)
author link Bolyai János Matematikai Társulat <AU00015652>
classification LCC:QA76
classification DC19:519.4
subject headings Programming (Electronic computers) -- Addresses, essays, lectures
subject headings Programming languages (Electronic computers) -- Semantics -- Addresses, essays, lectures
Go to the top of this page
Back to List
Go to the top of this page