Library TOP
CHOIS PORTAL
Login
Catalogue Search ▼
Go to Search Top
Search by Classification
Serials Title List
Newly Arrived
Borrowed Ranking
My Account ▼
Your Library Record
Bookmark
My Search
InterLibrary Copy Request
InterLibrary Loan Request
FAQ
≡
Bibliography Details
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:
Select Export Destination
Please select the export destination.
Close this window
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:
Select Export Destination
Please select the export destination.
Close this window
Contents and Summary
Details
URL:
HoldingsList
1
-
1
of about
1
Click a number to display details about the collection.
10 Items
20 Items
50 Items
100 Items
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
Contents and Summary
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 Information
Related Items
author
Dömölki, B
Gergely, T. (Tamás)
Colloquium on Mathematical Logic in Computer Science
Bolyai János Matematikai Társulat
classification
LCC:QA76
DC19:519.4
Mathematics DC15:510.78
subject
Programming (Electronic computers) -- Addresses, essays, lectures
Programming languages (Electronic computers) -- Semantics -- Addresses, essays, lectures
Other Universities (NII)
same conditions
same bibliography
Other Databases
Google Books
WorldCat
NDLSearch
CiNii Books
Calil
Get it from another organization
ILL Copy Request(get a copy from another library)
ILL Borrowing Request(borrow the actual book)