skip to content
Mathematical logic in computer science Preview this item
ClosePreview this item
Checking...

Mathematical logic in computer science

Author: B Dömölki; T Gergely; Bolyai János Matematikai Társulat.
Publisher: Amsterdam ; New York : North-Holland Pub. Co., 1981.
Series: Colloquia mathematica Societatis János Bolyai, 26.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Mathematical logic in computer science.
Amsterdam ; New York : North-Holland Pub. Co., 1981
(OCoLC)622804802
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: B Dömölki; T Gergely; Bolyai János Matematikai Társulat.
ISBN: 0444854401 9780444854407 9638021462 9789638021465
OCLC Number: 8306779
Notes: 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.
Description: 758 pages : illustrations ; 25 cm.
Series Title: Colloquia mathematica Societatis János Bolyai, 26.
Responsibility: edited by B. Dömölki and T. Gergely.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/8306779>
library:oclcnum"8306779"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
rdf:valueUnknown value: cnp
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
<http://id.loc.gov/authorities/subjects/sh85107316>
rdf:typeschema:Intangible
schema:name"Programming languages (Electronic computers)--Semantics."@en
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/1078716>
rdf:typeschema:Intangible
schema:name"Programming languages (Electronic computers)--Semantics."@en
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:datePublished"1981"
schema:exampleOfWork<http://worldcat.org/entity/work/id/510048882>
schema:inLanguage"en"
schema:isPartOf
schema:name"Mathematical logic in computer science"@en
schema:publication
schema:publisher
schema:workExample
schema:workExample
umbel:isLike<http://bnb.data.bl.uk/id/resource/GB8211231>
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.