passa ai contenuti
Proof theory Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

Proof theory

Autore: Gaisi Takeuti
Editore: Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
Serie: Studies in logic and the foundations of mathematics, v. 81.
Edizione/Formato:   book_printbook : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Tipo materiale: Risorsa internet
Tipo documento: Book, Internet Resource
Tutti gli autori / Collaboratori: Gaisi Takeuti
ISBN: 0444104925 9780444104922 0720422000 9780720422009 0720422779 9780720422771
Numero OCLC: 1531974
Note: Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968.
Includes index.
Descrizione: vii, 372 pages ; 23 cm.
Titolo della serie: Studies in logic and the foundations of mathematics, v. 81.
Responsabilità: Gaisi Takeuti.

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


Primary Entity

<http://www.worldcat.org/oclc/1531974> # Proof theory
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "1531974" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2406532#Place/amsterdam> ; # Amsterdam
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/preuve_theorie_de_la> ; # Preuve, Théorie de la
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/proof_theory> ; # Proof theory
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/calcul_predicat> ; # calcul prédicat
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/arithmetique_peano> ; # ARITHMETIQUE PEANO
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/preuve_conformite> ; # PREUVE CONFORMITE
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/bewijstheorie> ; # Bewijstheorie
    schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
    schema:about <http://dewey.info/class/511.3/e19/> ;
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/64133112> ; # Gaisi Takeuti
    schema:datePublished "1975" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2406532> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2406532#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
    schema:name "Proof theory"@en ;
    schema:productID "1531974" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1531974#PublicationEvent/amsterdam_north_holland_pub_co_new_york_american_elsevier_pub_co_1975> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2406532#Agent/american_elsevier_pub_co> ; # American Elsevier Pub. Co.
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2406532#Agent/north_holland_pub_co> ; # North-Holland Pub. Co.
    schema:url <http://www.gbv.de/dms/hbz/toc/ht001229779.pdf> ;
    schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1908762&custom_att_2=simple_viewer> ;
    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/1531974> ;
    .


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/2406532#Agent/american_elsevier_pub_co> # American Elsevier Pub. Co.
    a bgn:Agent ;
    schema:name "American Elsevier Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Agent/north_holland_pub_co> # North-Holland Pub. Co.
    a bgn:Agent ;
    schema:name "North-Holland Pub. Co." ;
    .

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

<http://experiment.worldcat.org/entity/work/data/2406532#Topic/arithmetique_peano> # ARITHMETIQUE PEANO
    a schema:Intangible ;
    schema:name "ARITHMETIQUE PEANO"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Topic/calcul_predicat> # calcul prédicat
    a schema:Intangible ;
    schema:name "calcul prédicat"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Topic/preuve_conformite> # PREUVE CONFORMITE
    a schema:Intangible ;
    schema:name "PREUVE CONFORMITE"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Topic/preuve_theorie_de_la> # Preuve, Théorie de la
    a schema:Intangible ;
    schema:name "Preuve, Théorie de la"@en ;
    schema:name "Preuve, Théorie de la"@fr ;
    .

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

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

<http://worldcat.org/isbn/9780444104922>
    a schema:ProductModel ;
    schema:description "American Elsevier" ;
    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

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.