skip to content
Semigroups underlying first-order logic Preview this item
ClosePreview this item
Checking...

Semigroups underlying first-order logic

Author: William Craig
Publisher: Providence, R.I. : American Mathematical Society, 2006.
Series: Memoirs of the American Mathematical Society, no. 866.
Edition/Format:   eBook : Document : EnglishView 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

Genre/Form: Electronic books
Additional Physical Format: Print version:
Craig, William, 1918-
Semigroups underlying first-order logic /
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: William Craig
ISBN: 9781470404703 1470404702
OCLC Number: 851088941
Notes: "Volume 184, number 866 (second of 4 numbers)."
Description: 1 online resource (xxv, 263 pages).
Contents: I. Boolean, relation-induced, and other operations for dealing with first-order definability II. Uniform relations between sequences III. Diagonal relations IV. Uniform diagonal relations and some kinds of bisections or bisectable relations V. Presentation of $\mathbf {S}_q$, $\mathbf {S}_p$, and related structures VI. Presentation of $\mathbf {S}_{pq}$, $\mathbf {S}_{pe}$ and related structures VII. Presentation of $\mathbf {S}_{pqe}$ and related structures.
Series Title: Memoirs of the American Mathematical Society, no. 866.
Responsibility: William Craig.

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/851088941> # Semigroups underlying first-order logic
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "851088941" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/57631026#Place/providence_r_i> ; # Providence, R.I.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/riu> ;
   schema:about <http://id.worldcat.org/fast/925803> ; # First-order logic
   schema:about <http://dewey.info/class/511.324/e22/> ;
   schema:about <http://id.worldcat.org/fast/1112267> ; # Semigroups
   schema:about <http://id.worldcat.org/fast/804936> ; # Algebraic logic
   schema:about <http://experiment.worldcat.org/entity/work/data/57631026#Topic/mathematics_general> ; # MATHEMATICS--General
   schema:bookFormat schema:EBook ;
   schema:creator <http://viaf.org/viaf/139086> ; # William Craig
   schema:datePublished "2006" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/57631026> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0065-9266> ; # Memoirs of the American Mathematical Society ;
   schema:isPartOf <http://worldcat.org/issn/1947-6221> ; # Memoirs of the American Mathematical Society,
   schema:isSimilarTo <http://worldcat.org/entity/work/data/57631026#CreativeWork/semigroups_underlying_first_order_logic> ;
   schema:name "Semigroups underlying first-order logic"@en ;
   schema:productID "851088941" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/851088941#PublicationEvent/providence_r_i_american_mathematical_society_2006> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/57631026#Agent/american_mathematical_society> ; # American Mathematical Society
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=843361> ;
   schema:url <http://dx.doi.org/10.1090/memo/0866> ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3114259> ;
   schema:url <http://site.ebrary.com/id/11039878> ;
   schema:workExample <http://worldcat.org/isbn/9781470404703> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/851088941> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/57631026#Agent/american_mathematical_society> # American Mathematical Society
    a bgn:Agent ;
   schema:name "American Mathematical Society" ;
    .

<http://experiment.worldcat.org/entity/work/data/57631026#Place/providence_r_i> # Providence, R.I.
    a schema:Place ;
   schema:name "Providence, R.I." ;
    .

<http://experiment.worldcat.org/entity/work/data/57631026#Topic/mathematics_general> # MATHEMATICS--General
    a schema:Intangible ;
   schema:name "MATHEMATICS--General"@en ;
    .

<http://id.worldcat.org/fast/1112267> # Semigroups
    a schema:Intangible ;
   schema:name "Semigroups"@en ;
    .

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

<http://id.worldcat.org/fast/925803> # First-order logic
    a schema:Intangible ;
   schema:name "First-order logic"@en ;
    .

<http://viaf.org/viaf/139086> # William Craig
    a schema:Person ;
   schema:birthDate "1918" ;
   schema:familyName "Craig" ;
   schema:givenName "William" ;
   schema:name "William Craig" ;
    .

<http://worldcat.org/entity/work/data/57631026#CreativeWork/semigroups_underlying_first_order_logic>
    a schema:CreativeWork ;
   rdfs:label "Semigroups underlying first-order logic /" ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/851088941> ; # Semigroups underlying first-order logic
    .

<http://worldcat.org/isbn/9781470404703>
    a schema:ProductModel ;
   schema:isbn "1470404702" ;
   schema:isbn "9781470404703" ;
    .

<http://worldcat.org/issn/0065-9266> # Memoirs of the American Mathematical Society ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/851088941> ; # Semigroups underlying first-order logic
   schema:issn "0065-9266" ;
   schema:name "Memoirs of the American Mathematical Society ;" ;
    .

<http://worldcat.org/issn/1947-6221> # Memoirs of the American Mathematical Society,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/851088941> ; # Semigroups underlying first-order logic
   schema:issn "1947-6221" ;
   schema:name "Memoirs of the American Mathematical Society," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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