skip to content
The collected works of J. Richard Büchi Preview this item
ClosePreview this item
Checking...

The collected works of J. Richard Büchi

Author: J Richard Büchi; Saunders Mac Lane; Dirk Siefkes
Publisher: New York : Springer-Verlag, ©1990.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

(He himself would have sharply objected to the qualifier "theoretical," because he more or less identified science and theory, using "theory" in a broader sense and "science" in a narrower sense than  Read more...

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

Genre/Form: Aufsatzsammlung
Bibliographie
Named Person: J Richard Büchi; Büchi; J Richard Büchi; Julius Richard Büchi; Julius Richard Büchi
Document Type: Book
All Authors / Contributors: J Richard Büchi; Saunders Mac Lane; Dirk Siefkes
ISBN: 0387970649 9780387970646 3540970649 9783540970644
OCLC Number: 237180759
Description: xvi, 696 pages : illustrations ; 25 cm
Contents:
Other Titles: Works.
Responsibility: Saunders Mac Lane, Dirk Siefkes, editors.
More information:

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/237180759> # The collected works of J. Richard Büchi
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "237180759" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://dewey.info/class/511.3/> ;
   schema:about <http://viaf.org/viaf/220993830> ; # Büchi Julius Richard
   schema:about <http://experiment.worldcat.org/entity/work/data/252492106#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
   schema:about <http://experiment.worldcat.org/entity/work/data/252492106#Topic/bibliografie> ; # Bibliografie
   schema:about <http://experiment.worldcat.org/entity/work/data/252492106#Topic/automatentheorie> ; # Automatentheorie
   schema:about <http://viaf.org/viaf/2536445> ; # Julius Richard Büchi
   schema:about <http://experiment.worldcat.org/entity/work/data/252492106#Person/buchi_j_richard> ; # J Richard Büchi
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/66531157> ; # Dirk Siefkes
   schema:contributor <http://viaf.org/viaf/101828380> ; # Saunders Mac Lane
   schema:copyrightYear "1990" ;
   schema:creator <http://viaf.org/viaf/2536445> ; # Julius Richard Büchi
   schema:datePublished "1990" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/252492106> ; # Works. 1990
   schema:genre "Aufsatzsammlung"@en ;
   schema:inLanguage "en" ;
   schema:name "The collected works of J. Richard Büchi"@en ;
   schema:productID "237180759" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/237180759#PublicationEvent/new_york_springer_verlag_1990> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/252492106#Agent/springer_verlag> ; # Springer-Verlag
   schema:workExample <http://worldcat.org/isbn/9783540970644> ;
   schema:workExample <http://worldcat.org/isbn/9780387970646> ;
   umbel:isLike <http://d-nb.info/900586508> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/237180759> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/252492106#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/252492106#Person/buchi_j_richard> # J Richard Büchi
    a schema:Person ;
   schema:familyName "Büchi" ;
   schema:givenName "J. Richard" ;
   schema:name "J Richard Büchi" ;
    .

<http://experiment.worldcat.org/entity/work/data/252492106#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1004846> # Machine theory
    a schema:Intangible ;
   schema:name "Machine theory"@en ;
    .

<http://viaf.org/viaf/101828380> # Saunders Mac Lane
    a schema:Person ;
   schema:birthDate "1909" ;
   schema:deathDate "2005" ;
   schema:familyName "Mac Lane" ;
   schema:givenName "Saunders" ;
   schema:name "Saunders Mac Lane" ;
    .

<http://viaf.org/viaf/220993830> # Büchi Julius Richard
    a schema:Person ;
   schema:name "Büchi Julius Richard" ;
    .

<http://viaf.org/viaf/2536445> # Julius Richard Büchi
    a schema:Person ;
   schema:birthDate "1924" ;
   schema:deathDate "1984" ;
   schema:familyName "Büchi" ;
   schema:givenName "Julius Richard" ;
   schema:givenName "J. Richard" ;
   schema:name "Julius Richard Büchi" ;
   schema:name "J Richard Büchi" ;
   schema:sameAs <http://d-nb.info/gnd/118898876> ;
    .

<http://viaf.org/viaf/66531157> # Dirk Siefkes
    a schema:Person ;
   schema:familyName "Siefkes" ;
   schema:givenName "Dirk" ;
   schema:name "Dirk Siefkes" ;
    .

<http://worldcat.org/entity/work/id/252492106> # Works. 1990
   schema:name "Works. 1990" ;
    .

<http://worldcat.org/isbn/9780387970646>
    a schema:ProductModel ;
   schema:isbn "0387970649" ;
   schema:isbn "9780387970646" ;
    .

<http://worldcat.org/isbn/9783540970644>
    a schema:ProductModel ;
   schema:isbn "3540970649" ;
   schema:isbn "9783540970644" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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