skip to content
Proof theory Preview this item
ClosePreview this item
Checking...

Proof theory

Author: G Takeuti
Publisher: Amsterdam ; Oxford : North-Holland ; New York, N.Y. : American Elsevier, 1975.
Series: Studies in logic and the foundations of mathematics, 81.
Edition/Format:   Print book : EnglishView all editions and formats
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

Document Type: Book
All Authors / Contributors: G Takeuti
ISBN: 0720422000 9780720422009 0444104925 9780444104922 0720422779 9780720422771
OCLC Number: 797802048
Description: VII, 372 p. ; 23 cm.
Series Title: Studies in logic and the foundations of mathematics, 81.
Responsibility: Gaisi Takeuti.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

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/797802048> # Proof theory
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "797802048" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4417316763#Place/new_york_n_y> ; # New York, N.Y.
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4417316763#Place/oxford> ; # Oxford
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4417316763#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/4417316763#Topic/prova_matematica> ; # Prova (Matematica)
   schema:about <http://experiment.worldcat.org/entity/work/data/4417316763#Thing/logica_matematica> ; # Logica matematica
   schema:about <http://dewey.info/class/511.3/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/4417316763#Topic/logica_matematica> ; # Logica matematica
   schema:author <http://viaf.org/viaf/64133112> ; # G. Takeuti
   schema:bookFormat bgn:PrintBook ;
   schema:datePublished "1975" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4417316763> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4417316763#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
   schema:name "Proof theory" ;
   schema:numberOfPages "372" ;
   schema:productID "797802048" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/797802048#PublicationEvent/amsterdam_oxford_north_holland_new_york_n_y_american_elsevier_1975> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4417316763#Agent/north_holland> ; # North-Holland
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4417316763#Agent/american_elsevier> ; # American Elsevier
   schema:workExample <http://worldcat.org/isbn/9780720422009> ;
   schema:workExample <http://worldcat.org/isbn/9780720422771> ;
   schema:workExample <http://worldcat.org/isbn/9780444104922> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/797802048> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4417316763#Agent/american_elsevier> # American Elsevier
    a bgn:Agent ;
   schema:name "American Elsevier" ;
    .

<http://experiment.worldcat.org/entity/work/data/4417316763#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/797802048> ; # Proof theory
   schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4417316763#Thing/logica_matematica> # Logica matematica
    a schema:Thing ;
   schema:name "Logica matematica" ;
    .

<http://experiment.worldcat.org/entity/work/data/4417316763#Topic/prova_matematica> # Prova (Matematica)
    a schema:Intangible ;
   schema:name "Prova (Matematica)" ;
    .

<http://viaf.org/viaf/64133112> # G. Takeuti
    a schema:Person ;
   schema:familyName "Takeuti" ;
   schema:givenName "G." ;
   schema:name "G. Takeuti" ;
    .

<http://worldcat.org/isbn/9780444104922>
    a schema:ProductModel ;
   schema:isbn "0444104925" ;
   schema:isbn "9780444104922" ;
    .

<http://worldcat.org/isbn/9780720422009>
    a schema:ProductModel ;
   schema:isbn "0720422000" ;
   schema:isbn "9780720422009" ;
    .

<http://worldcat.org/isbn/9780720422771>
    a schema:ProductModel ;
   schema:isbn "0720422779" ;
   schema:isbn "9780720422771" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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