skip to content
Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors Preview this item
ClosePreview this item
Checking...

Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors

Author: Carol Karp; D W Kueker
Publisher: Berlin ; New York : Springer-Verlag, 1975.
Series: Lecture notes in mathematics (Springer-Verlag), 492.
Edition/Format:   Print book : Biography : EnglishView all editions and formats
Summary:

A Collection of Papers by Varoius Authors

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:
Infinitary logic.
Berlin ; New York : Springer-Verlag, 1975
(OCoLC)624472852
Named Person: Carol Karp; Carol Karp; Carol Karp
Material Type: Biography, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Carol Karp; D W Kueker
ISBN: 0387074198 9780387074191 3540074198 9783540074199
OCLC Number: 1859762
Description: 206 pages : portrait ; 25 cm.
Contents: López-Escobar, E.G.K. Introduction. --
Kueker, D.W. Back-and-forth arguments and infinitary logics. --
Green, J. Consistency properties for finite quantifier languages. --
Cunningham, E. Chain models. --
Gregory, J. On a finiteness condition for infinitary languages.
Series Title: Lecture notes in mathematics (Springer-Verlag), 492.
Responsibility: edited by D.W. Kueker.

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/1859762> # Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "1859762" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/930933566#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://dewey.info/class/510.8/> ;
    schema:about <http://id.worldcat.org/fast/972420> ; # Infinitary languages
    schema:about <http://experiment.worldcat.org/entity/work/data/930933566#Person/karp_carol_1926_1972> ; # Carol Karp
    schema:about <http://viaf.org/viaf/52481445> ; # Carol Karp
    schema:about <http://experiment.worldcat.org/entity/work/data/930933566#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/930933566#Topic/langages_infinitaires> ; # Langages infinitaires
    schema:about <http://id.worldcat.org/fast/1024368> ; # Model theory
    schema:about <http://experiment.worldcat.org/entity/work/data/930933566#Topic/modeles_theorie_des> ; # Modèles, Théorie des
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/52481445> ; # Carol Karp
    schema:contributor <http://viaf.org/viaf/22681833> ; # D. W. Kueker
    schema:datePublished "1975" ;
    schema:description "López-Escobar, E.G.K. Introduction. -- Kueker, D.W. Back-and-forth arguments and infinitary logics. -- Green, J. Consistency properties for finite quantifier languages. -- Cunningham, E. Chain models. -- Gregory, J. On a finiteness condition for infinitary languages."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/930933566> ;
    schema:genre "Biography"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/930933566#Series/lecture_notes_in_mathematics_springer_verlag> ; # Lecture notes in mathematics (Springer-Verlag) ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/930933566#Series/lecture_notes_in_mathematics> ; # Lecture notes in mathematics ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/624472852> ;
    schema:name "Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors"@en ;
    schema:productID "1859762" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1859762#PublicationEvent/berlin_new_york_springer_verlag_1975> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/930933566#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://qe2a-proxy.mun.ca/Login?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0075-8434&volume=492> ;
    schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1909258&custom_att_2=simple_viewer> ;
    schema:url <http://www.gbv.de/dms/hbz/toc/ht001146474.pdf> ;
    schema:url <http://swbplus.bsz-bw.de/bsz005049733cov.htm> ;
    schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1909258&custom%5Fatt%5F2=simple%5Fviewer> ;
    schema:workExample <http://worldcat.org/isbn/9783540074199> ;
    schema:workExample <http://worldcat.org/isbn/9780387074191> ;
    umbel:isLike <http://d-nb.info/760061076> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1859762> ;
    .


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/930933566#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/930933566#Person/karp_carol_1926_1972> # Carol Karp
    a schema:Person ;
    schema:birthDate "1926" ;
    schema:deathDate "1972" ;
    schema:familyName "Karp" ;
    schema:givenName "Carol" ;
    schema:name "Carol Karp" ;
    .

<http://experiment.worldcat.org/entity/work/data/930933566#Series/lecture_notes_in_mathematics> # Lecture notes in mathematics ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1859762> ; # Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
    schema:name "Lecture notes in mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/930933566#Series/lecture_notes_in_mathematics_springer_verlag> # Lecture notes in mathematics (Springer-Verlag) ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1859762> ; # Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
    schema:name "Lecture notes in mathematics (Springer-Verlag) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/930933566#Topic/langages_infinitaires> # Langages infinitaires
    a schema:Intangible ;
    schema:name "Langages infinitaires"@fr ;
    .

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

<http://experiment.worldcat.org/entity/work/data/930933566#Topic/modeles_theorie_des> # Modèles, Théorie des
    a schema:Intangible ;
    schema:name "Modèles, Théorie des"@fr ;
    .

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

<http://id.worldcat.org/fast/972420> # Infinitary languages
    a schema:Intangible ;
    schema:name "Infinitary languages"@en ;
    .

<http://viaf.org/viaf/22681833> # D. W. Kueker
    a schema:Person ;
    schema:birthDate "1943" ;
    schema:familyName "Kueker" ;
    schema:givenName "D. W." ;
    schema:name "D. W. Kueker" ;
    .

<http://viaf.org/viaf/52481445> # Carol Karp
    a schema:Person ;
    schema:birthDate "1926" ;
    schema:deathDate "1972" ;
    schema:familyName "Karp" ;
    schema:givenName "Carol" ;
    schema:name "Carol Karp" ;
    .

<http://worldcat.org/isbn/9780387074191>
    a schema:ProductModel ;
    schema:isbn "0387074198" ;
    schema:isbn "9780387074191" ;
    .

<http://worldcat.org/isbn/9783540074199>
    a schema:ProductModel ;
    schema:isbn "3540074198" ;
    schema:isbn "9783540074199" ;
    .

<http://www.worldcat.org/oclc/624472852>
    a schema:CreativeWork ;
    rdfs:label "Infinitary logic." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1859762> ; # Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
    .

<http://www.worldcat.org/title/-/oclc/1859762>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1859762> ; # Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
    schema:dateModified "2018-05-10" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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