skip to content
Mathematical interpretation of formal systems Preview this item
ClosePreview this item
Checking...

Mathematical interpretation of formal systems

Author: Gisbert Hasenjaeger; Georg Kreisel; Thoralf Skolem
Publisher: Amsterdam North-Holland Publ. Comp. 1971
Series: Studies in logic and the foundations of mathematics
Edition/Format:   Print book : English : 2nd edView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Gisbert Hasenjaeger; Georg Kreisel; Thoralf Skolem
ISBN: 0720422264 9780720422269
OCLC Number: 180017491
Description: VIII, 113 S.
Series Title: Studies in logic and the foundations of mathematics
Responsibility: Th. Skolem; G. Hasenjaeger; G. Kreisel; ...

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/180017491> # Mathematical interpretation of formal systems
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "180017491" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/352364745#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://dewey.info/class/511.3/> ;
   schema:author <http://experiment.worldcat.org/entity/work/data/352364745#Person/skolem_thoralf> ; # Thoralf Skolem
   schema:author <http://experiment.worldcat.org/entity/work/data/352364745#Person/kreisel_georg> ; # Georg Kreisel
   schema:author <http://experiment.worldcat.org/entity/work/data/352364745#Person/hasenjaeger_gisbert> ; # Gisbert Hasenjaeger
   schema:bookEdition "2nd ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:datePublished "1971" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/352364745> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/352364745#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics
   schema:name "Mathematical interpretation of formal systems" ;
   schema:productID "180017491" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/180017491#PublicationEvent/amsterdamnorth_holland_publ_comp_1971> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/352364745#Agent/north_holland_publ_comp> ; # North-Holland Publ. Comp.
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1908570&custom%5Fatt%5F2=simple%5Fviewer> ;
   schema:workExample <http://worldcat.org/isbn/9780720422269> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/180017491> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/352364745#Agent/north_holland_publ_comp> # North-Holland Publ. Comp.
    a bgn:Agent ;
   schema:name "North-Holland Publ. Comp." ;
    .

<http://experiment.worldcat.org/entity/work/data/352364745#Person/hasenjaeger_gisbert> # Gisbert Hasenjaeger
    a schema:Person ;
   schema:familyName "Hasenjaeger" ;
   schema:givenName "Gisbert" ;
   schema:name "Gisbert Hasenjaeger" ;
    .

<http://experiment.worldcat.org/entity/work/data/352364745#Person/kreisel_georg> # Georg Kreisel
    a schema:Person ;
   schema:familyName "Kreisel" ;
   schema:givenName "Georg" ;
   schema:name "Georg Kreisel" ;
    .

<http://experiment.worldcat.org/entity/work/data/352364745#Person/skolem_thoralf> # Thoralf Skolem
    a schema:Person ;
   schema:familyName "Skolem" ;
   schema:givenName "Thoralf" ;
   schema:name "Thoralf Skolem" ;
    .

<http://experiment.worldcat.org/entity/work/data/352364745#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/180017491> ; # Mathematical interpretation of formal systems
   schema:name "Studies in logic and the foundations of mathematics" ;
    .

<http://worldcat.org/isbn/9780720422269>
    a schema:ProductModel ;
   schema:isbn "0720422264" ;
   schema:isbn "9780720422269" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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