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:   Print book : EnglishView all editions and formats
Rating:

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

Subjects
More like this

 

Find a copy online

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 pages : illustrations ; 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


Primary Entity

<http://www.worldcat.org/oclc/30516108> # Algebraic methods in logic and in computer science
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "30516108" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/pl> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/32283416#Place/warszawa> ; # Warszawa
   schema:about <http://id.worldcat.org/fast/804936> ; # Algebraic logic
   schema:about <http://dewey.info/class/511.3/e20/> ;
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/32283416#Organization/stefan_banach_international_mathematical_center> ; # Stefan Banach International Mathematical Center.
   schema:contributor <http://viaf.org/viaf/140194489> ; # Instytut Matematyczny (Polska Akademia Nauk)
   schema:contributor <http://viaf.org/viaf/48072477> ; # Cecylia Rauszer
   schema:datePublished "1993" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/32283416> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0137-6934> ; # Banach Center publications ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/626001967> ;
   schema:name "Algebraic methods in logic and in computer science"@en ;
   schema:productID "30516108" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/30516108#PublicationEvent/warszawa_polish_academy_of_sciences_institute_of_mathematics_1993> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/32283416#Agent/polish_academy_of_sciences_institute_of_mathematics> ; # Polish Academy of Sciences, Institute of Mathematics
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=006608430&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://www.gbv.de/dms/hbz/toc/ht005034714.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9788385116929> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/30516108> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/32283416#Agent/polish_academy_of_sciences_institute_of_mathematics> # Polish Academy of Sciences, Institute of Mathematics
    a bgn:Agent ;
   schema:name "Polish Academy of Sciences, Institute of Mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/32283416#Organization/stefan_banach_international_mathematical_center> # Stefan Banach International Mathematical Center.
    a schema:Organization ;
   schema:name "Stefan Banach International Mathematical Center." ;
    .

<http://id.worldcat.org/fast/804936> # Algebraic logic
    a schema:Intangible ;
   schema:name "Algebraic logic"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://viaf.org/viaf/140194489> # Instytut Matematyczny (Polska Akademia Nauk)
    a schema:Organization ;
   schema:name "Instytut Matematyczny (Polska Akademia Nauk)" ;
    .

<http://viaf.org/viaf/48072477> # Cecylia Rauszer
    a schema:Person ;
   schema:familyName "Rauszer" ;
   schema:givenName "Cecylia" ;
   schema:name "Cecylia Rauszer" ;
    .

<http://worldcat.org/isbn/9788385116929>
    a schema:ProductModel ;
   schema:isbn "8385116923" ;
   schema:isbn "9788385116929" ;
    .

<http://worldcat.org/issn/0137-6934> # Banach Center publications ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/30516108> ; # Algebraic methods in logic and in computer science
   schema:issn "0137-6934" ;
   schema:name "Banach Center publications ;" ;
   schema:name "Banach Center publications," ;
    .

<http://www.worldcat.org/oclc/626001967>
    a schema:CreativeWork ;
   rdfs:label "Algebraic methods in logic and in computer science." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/30516108> ; # Algebraic methods in logic and in computer science
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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