摂大図書館ポータルサイト

図書館OPAC(蔵書検索)

　　摂南大学
 　　常翔啓光学園中高

利用者ログインはこちら

　　　　　 検索トップに戻る

  • Catalog Search Catalog Search ▼
  • User service User Service ▼
    • Your Library Record
    • Bookmark
    • My Search
    • Review History
    • Alert
    • InterLibrary Copy Request
    • InterLibrary Loan Request
  • Reservation Cart
  • Show History
  • My Search
  • cap_language}

Setsunan 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). <BB50202977>
Stamp registration
Stamp is not pushed yet.


Tag:
No tag is registered
Functions:
Contents and Summary Review 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). <BB50202977>
Stamp registration
Stamp is not pushed yet.


Tag:
No tag is registered
Functions:
Contents and Summary Review Details
URL:

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 SUL SS B1F stacks2 501.108||C||26 08216546 available for lending 0items
No. 0001
Volumes
Library SUL
Location SS B1F stacks2
Call No 501.108||C||26
Material ID 08216546
In-Lib only available for lending
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 ; 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 <TY00002498> 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. <AU50147374>
author link Gergely, T. (Tamás) <AU50147375>
author link Colloquium on Mathematical Logic in Computer Science <AU50147376> (1978 : Salgótarján, Hungary)
author link Bolyai János Matematikai Társulat <AU00041608>
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 Databases

    Other Universities (NII)

    Get it from another library

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

    QR code