跳到内容
Proof theory 预览资料
关闭预览资料
正在查...

Proof theory

著者: Gaisi Takeuti
出版商: 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
丛书: Studies in logic and the foundations of mathematics, vol. 81
版本/格式:   Print book : 英语 : 2. ed查看所有的版本和格式
数据库:WorldCat
评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

主题
更多类似这样的

 

在图书馆查找

&AllPage.SpinnerRetrieving; 正在查找有这资料的图书馆...

详细书目

文件类型:
所有的著者/提供者: Gaisi Takeuti
ISBN: 0444879439 9780444879431
OCLC号码: 476872494
注意: Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968
描述: 490 s. : ill.
丛书名: Studies in logic and the foundations of mathematics, vol. 81
责任: Gaisi Takeuti

评论

用户提供的评论
正在获取GoodReads评论...
正在检索DOGObooks的评论

标签

争取是第一个!

相似资料

确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

链接数据


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

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.