Chuo University Library
Library TOP  CHOIS PORTAL  Login
  • Catalog Search Catalogue Search ▼
  • User service My Account ▼
    • Your Library Record
    • Bookmark
    • My Search
    • InterLibrary Copy Request
    • InterLibrary Loan Request
  • FAQ

Chuo 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). <BB00740178>
Functions:
Contents and Summary Details
URL:

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>
Functions:
Contents and Summary Details
URL:

HoldingsList 1-1 of about 1

Click a number to display details about the collection.

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
Go to the top of this page
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 : 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
Go to the top of this page
Back to List
Go to the top of this page

  • Related Information

    Related Items

    Other Universities (NII)

    Other Databases

    Get it from another organization

    • ILL Copy Request(get a copy from another library)
    • ILL Borrowing Request(borrow the actual book)