skip to content
Rudiments of [mu]-calculus Preview this item
ClosePreview this item
Checking...

Rudiments of [mu]-calculus

Author: André Arnold; Damian Niwiński
Publisher: Amsterdam ;New York Elsevier 2001
Series: Studies in logic and the foundations of mathematics, v. 146
Edition/Format:   Computer file : English : 1st edView all editions and formats
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

Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: André Arnold; Damian Niwiński
OCLC Number: 1106685736
Notes: Includes bibliographical references (p. [269]-273) and index
Description: Online-Ressource ill.
Series Title: Studies in logic and the foundations of mathematics, v. 146
Responsibility: A. Arnold, D. Niwiński.

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


Primary Entity

<http://www.worldcat.org/oclc/1106685736> # Rudiments of [mu]-calculus
    a bgn:ComputerFile, schema:CreativeWork ;
    library:oclcnum "1106685736" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/399623058#Topic/fixed_point_theory> ; # Fixed point theory
    schema:about <http://experiment.worldcat.org/entity/work/data/399623058#Topic/monotonic_functions> ; # Monotonic functions
    schema:about <http://experiment.worldcat.org/entity/work/data/399623058#Topic/lattice_theory> ; # Lattice theory
    schema:about <http://experiment.worldcat.org/entity/work/data/399623058#Topic/machine_theory> ; # Machine theory
    schema:about <http://experiment.worldcat.org/entity/work/data/399623058#Topic/algebraic_logic> ; # Algebraic logic
    schema:about <http://dewey.info/class/511.324/> ;
    schema:author <http://experiment.worldcat.org/entity/work/data/399623058#Person/arnold_andre_1945> ; # André Arnold
    schema:bookEdition "1st ed" ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/399623058#Person/niwinski_damian> ; # Damian Niwiński
    schema:datePublished "2001" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/399623058> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/399623058#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics
    schema:isSimilarTo <http://worldcat.org/entity/work/data/399623058#CreativeWork/> ;
    schema:name "Rudiments of [mu]-calculus" ;
    schema:productID "1106685736" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1106685736#PublicationEvent/2001> ;
    schema:url <http://www.sciencedirect.com/science/publication?issn=0049237X&volume=146> ;
    schema:url <http://www.engineeringvillage.com/controller/servlet/OpenURL?genre=book&isbn=9780444506207> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1106685736> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/399623058#Person/arnold_andre_1945> # André Arnold
    a schema:Person ;
    schema:birthDate "1945" ;
    schema:familyName "Arnold" ;
    schema:givenName "André" ;
    schema:name "André Arnold" ;
    .

<http://experiment.worldcat.org/entity/work/data/399623058#Person/niwinski_damian> # Damian Niwiński
    a schema:Person ;
    schema:familyName "Niwiński" ;
    schema:givenName "Damian" ;
    schema:name "Damian Niwiński" ;
    .

<http://experiment.worldcat.org/entity/work/data/399623058#Series/studies_in_logic_and_the_foundations_of_mathematics> # Studies in logic and the foundations of mathematics
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1106685736> ; # Rudiments of [mu]-calculus
    schema:name "Studies in logic and the foundations of mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/399623058#Topic/fixed_point_theory> # Fixed point theory
    a schema:Intangible ;
    schema:name "Fixed point theory" ;
    .

<http://experiment.worldcat.org/entity/work/data/399623058#Topic/monotonic_functions> # Monotonic functions
    a schema:Intangible ;
    schema:name "Monotonic functions" ;
    .

<http://www.engineeringvillage.com/controller/servlet/OpenURL?genre=book&isbn=9780444506207>
    rdfs:comment "An electronic book accessible through the World Wide Web; click for information" ;
    .

<http://www.sciencedirect.com/science/publication?issn=0049237X&volume=146>
    rdfs:comment "An electronic book accessible through the World Wide Web; click for information" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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