skip to content
Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday Preview this item
ClosePreview this item
Checking...

Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday

Author: Alfred Tarski; Leon Henkin; University of California, Berkeley.; Association for Symbolic Logic.; International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
Publisher: Providence, R.I. : Published for the Association for Symbolic Logic by American Mathematical Society, 1974.
Series: Proceedings of symposia in pure mathematics, v. 25.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
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: Bibliography
Conference papers and proceedings
Congresses
Named Person: Alfred Tarski; Alfred Tarski; Alfred Tarski; Alfred Tarski; Alfred Tarski
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Alfred Tarski; Leon Henkin; University of California, Berkeley.; Association for Symbolic Logic.; International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
ISBN: 0821814257 9780821814253
OCLC Number: 902957
Notes: "Held at the University of California, Berkeley, June 23-30, 1971"--Title page verso.
"Co-sponsored by the University of California, Berkeley, the Association for Symbolic Logic, the International Union for History and Philosophy of Science--Division of Logic, Methodology, and Philosophy of Science"--Title page verso.
Description: xx, 498 pages : illustrations, portrait ; 26 cm.
Series Title: Proceedings of symposia in pure mathematics, v. 25.
Responsibility: edited by Leon Henkin [and others].

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/902957> # Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "902957" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/180707148#Place/providence_r_i> ; # Providence, R.I.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/riu> ;
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://id.worldcat.org/fast/1012163> ; # Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/180707148#Topic/mathematiques> ; # Mathématiques
    schema:about <http://dewey.info/class/511.3/> ;
    schema:about <http://viaf.org/viaf/88667191> ; # Alfred Tarski
    schema:about <http://id.loc.gov/authorities/subjects/sh85082139> ; # Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/180707148#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/180707148#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/88667191> ; # Alfred Tarski
    schema:contributor <http://viaf.org/viaf/136761028> ; # International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
    schema:contributor <http://viaf.org/viaf/76438407> ; # Leon Henkin
    schema:contributor <http://viaf.org/viaf/142787442> ; # Association for Symbolic Logic.
    schema:contributor <http://viaf.org/viaf/149111950> ; # University of California, Berkeley.
    schema:creator <http://experiment.worldcat.org/entity/work/data/180707148#Meeting/tarski_symposium_1971_university_of_california_berkeley> ; # Tarski Symposium (1971 : University of California, Berkeley)
    schema:datePublished "1974" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/180707148> ;
    schema:genre "Bibliography"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/180707148#Series/proceedings_of_symposia_in_pure_mathematics> ; # Proceedings of symposia in pure mathematics ;
    schema:name "Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday"@en ;
    schema:productID "902957" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/902957#PublicationEvent/providence_r_i_published_for_the_association_for_symbolic_logic_by_american_mathematical_society_1974> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/180707148#Agent/published_for_the_association_for_symbolic_logic_by_american_mathematical_society> ; # Published for the Association for Symbolic Logic by American Mathematical Society
    schema:url <http://www.gbv.de/dms/hbz/toc/ht001145291.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9780821814253> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/902957> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/180707148#Agent/published_for_the_association_for_symbolic_logic_by_american_mathematical_society> # Published for the Association for Symbolic Logic by American Mathematical Society
    a bgn:Agent ;
    schema:name "Published for the Association for Symbolic Logic by American Mathematical Society" ;
    .

<http://experiment.worldcat.org/entity/work/data/180707148#Meeting/tarski_symposium_1971_university_of_california_berkeley> # Tarski Symposium (1971 : University of California, Berkeley)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/180707148#Place/university_of_california_berkeley> ; # University of California, Berkeley)
    schema:name "Tarski Symposium (1971 : University of California, Berkeley)" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/180707148#Place/university_of_california_berkeley> # University of California, Berkeley)
    a schema:Place ;
    schema:name "University of California, Berkeley)" ;
    .

<http://experiment.worldcat.org/entity/work/data/180707148#Series/proceedings_of_symposia_in_pure_mathematics> # Proceedings of symposia in pure mathematics ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/902957> ; # Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday
    schema:name "Proceedings of symposia in pure mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/180707148#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85082139> # Mathematics
    a schema:Intangible ;
    schema:name "Mathematics"@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/1012163> # Mathematics
    a schema:Intangible ;
    schema:name "Mathematics"@en ;
    .

<http://viaf.org/viaf/136761028> # International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
    a schema:Organization ;
    schema:name "International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science." ;
    .

<http://viaf.org/viaf/142787442> # Association for Symbolic Logic.
    a schema:Organization ;
    schema:name "Association for Symbolic Logic." ;
    .

<http://viaf.org/viaf/149111950> # University of California, Berkeley.
    a schema:Organization ;
    schema:name "University of California, Berkeley." ;
    .

<http://viaf.org/viaf/76438407> # Leon Henkin
    a schema:Person ;
    schema:familyName "Henkin" ;
    schema:givenName "Leon" ;
    schema:name "Leon Henkin" ;
    .

<http://viaf.org/viaf/88667191> # Alfred Tarski
    a schema:Person ;
    schema:birthDate "1901" ;
    schema:deathDate "1983" ;
    schema:familyName "Tarski" ;
    schema:givenName "Alfred" ;
    schema:name "Alfred Tarski" ;
    schema:sameAs <http://d-nb.info/gnd/118620851> ;
    .

<http://worldcat.org/isbn/9780821814253>
    a schema:ProductModel ;
    schema:isbn "0821814257" ;
    schema:isbn "9780821814253" ;
    .

<http://www.worldcat.org/title/-/oclc/902957>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/902957> ; # Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday
    schema:dateModified "2015-07-21" ;
    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.