National Institute of Technology, Toyota College
Help Login
  • Catalog Search Catalog Search ▼
  • User service User Service ▼
    • Your Library Record
    • Bookmark
    • My Search
    • Alert
    • InterLibrary Copy Request
    • InterLibrary Loan Request

National Institute of Technology, Toyota College

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). <BB00589150>
Tag:
No tag is registered
Functions:
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). <BB00589150>
Tag:
No tag is registered
Functions:
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 Status user1 Due Date Reservation
0001 NIT, Toyota College 書庫1F 410.12||D 0048410 0items
No. 0001
Volumes
Library NIT, Toyota College
Location 書庫1F
Call No 410.12||D
Material ID 0048410
Status
user1
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 <BB00551152> 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. <NC:DA03254311>
author link Gergely, T. (Tamás) <NC:DA03254322>
author link Colloquium on Mathematical Logic in Computer Science <NC:DA03254333> (1978 : Salgótarján, Hungary)
author link Bolyai János Matematikai Társulat <NC:DA00524511>
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

  • 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