skip to content
Algebraic methods in logic and in computer science Preview this item
ClosePreview this item
Checking...

Algebraic methods in logic and in computer science

Author: Cecylia Rauszer; Instytut Matematyczny (Polska Akademia Nauk); Stefan Banach International Mathematical Center.
Publisher: Warszawa : Polish Academy of Sciences, Institute of Mathematics, 1993.
Series: Banach Center publications, v. 28.
Edition/Format:   Book : EnglishView all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Additional Physical Format: Online version:
Algebraic methods in logic and in computer science.
Warszawa : Polish Academy of Sciences, Institute of Mathematics, 1993
(OCoLC)626001967
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Cecylia Rauszer; Instytut Matematyczny (Polska Akademia Nauk); Stefan Banach International Mathematical Center.
ISBN: 8385116923 9788385116929
OCLC Number: 30516108
Notes: Papers from the XXXVIII Semester organized by the Stefan Banach International Mathematical Center, and held in Warsaw, Sept. 15-Dec. 15, 1991.
Description: 342 p. : ill. ; 24 cm.
Series Title: Banach Center publications, v. 28.
Responsibility: editor of the volume, Cecylia Rauszer.
More information:

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(2)

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/30516108>
library:oclcnum"30516108"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/30516108>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
<http://viaf.org/viaf/149523044>
rdf:typeschema:Organization
schema:name"Stefan Banach International Mathematical Center."
schema:contributor
<http://viaf.org/viaf/156721665>
rdf:typeschema:Organization
schema:name"Instytut Matematyczny (Polska Akademia Nauk)"
schema:datePublished"1993"
schema:exampleOfWork<http://worldcat.org/entity/work/id/32283416>
schema:inLanguage"en"
schema:name"Algebraic methods in logic and in computer science"@en
schema:numberOfPages"342"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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