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

Proof theory

Autore: Gaisi Takeuti
Editore: Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987
Serie: Studies in logic and the foundations of mathematics, vol. 81
Edizione/Formato:   book_printbook : English : 2. edVedi 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 in biblioteca

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

Dettagli

Tipo documento: Book
Tutti gli autori / Collaboratori: Gaisi Takeuti
ISBN: 0444879439 9780444879431
Numero OCLC: 476872494
Note: Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968
Descrizione: 490 s. : ill.
Titolo della serie: Studies in logic and the foundations of mathematics, vol. 81
Responsabilità: Gaisi Takeuti

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.

Documenti simili

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/476872494> # Proof theory
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "476872494" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2406532#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2406532#Place/new_york_n_y_u_s_a> ; # New York, N.Y., U.S.A.
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh85107437> ; # Proof theory
   schema:about <http://dewey.info/class/511.3/e19/> ;
   schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
   schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Thing/mathematics> ; # Mathematics
   schema:bookEdition "2. ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/64133112> ; # Gaisi Takeuti
   schema:datePublished "1987" ;
   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" ;
   schema:productID "476872494" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/476872494#PublicationEvent/amsterdam_new_york_north_holland_new_york_n_y_u_s_a_sole_distributor_for_the_u_s_a_and_canada_elsevier_science_pub_co_1987> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2406532#Agent/sole_distributor_for_the_u_s_a_and_canada_elsevier_science_pub_co> ; # Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co.
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2406532#Agent/north_holland> ; # North-Holland
   schema:workExample <http://worldcat.org/isbn/9780444879431> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/476872494> ;
    .


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/sole_distributor_for_the_u_s_a_and_canada_elsevier_science_pub_co> # Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co.
    a bgn:Agent ;
   schema:name "Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Place/new_york_n_y_u_s_a> # New York, N.Y., U.S.A.
    a schema:Place ;
   schema:name "New York, N.Y., U.S.A." ;
    .

<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/476872494> ; # Proof theory
   schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://id.loc.gov/authorities/subjects/sh85107437> # Proof theory
    a schema:Intangible ;
   schema:name "Proof theory" ;
    .

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

<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/9780444879431>
    a schema:ProductModel ;
   schema:isbn "0444879439" ;
   schema:isbn "9780444879431" ;
    .

<http://www.worldcat.org/title/-/oclc/476872494#PublicationEvent/amsterdam_new_york_north_holland_new_york_n_y_u_s_a_sole_distributor_for_the_u_s_a_and_canada_elsevier_science_pub_co_1987>
    a schema:PublicationEvent ;
   schema:location <http://experiment.worldcat.org/entity/work/data/2406532#Place/new_york_n_y_u_s_a> ; # New York, N.Y., U.S.A.
   schema:location <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:location <http://experiment.worldcat.org/entity/work/data/2406532#Place/amsterdam> ; # Amsterdam
   schema:organizer <http://experiment.worldcat.org/entity/work/data/2406532#Agent/sole_distributor_for_the_u_s_a_and_canada_elsevier_science_pub_co> ; # Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co.
   schema:organizer <http://experiment.worldcat.org/entity/work/data/2406532#Agent/north_holland> ; # North-Holland
   schema:startDate "1987" ;
    .


Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.