國立虎尾科技大學 |

登入

回首頁

Where is the Gödel-point hiding : = ...

Horska, Anna.

Where is the Gödel-point hiding : = Gentzen's consistency proof of 1936 and his representation of constructive ordinals /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Where is the Gödel-point hiding :/ Anna Horska.
其他題名:	Gentzen's consistency proof of 1936 and his representation of constructive ordinals /
作者:	Horska, Anna.
出版者:	Cham :Springer, : c2014.,
面頁冊數:	ix, 77 p. :ill. ; : 24 cm.;
標題:	Proof theory. -
ISBN:	9783319021706 (pbk.) :

Where is the Gödel-point hiding : = Gentzen's consistency proof of 1936 and his representation of constructive ordinals /
Horska, Anna.

Where is the Gödel-point hiding :Gentzen's consistency proof of 1936 and his representation of constructive ordinals /Anna Horska. - Cham :Springer,c2014. - ix, 77 p. :ill. ;24 cm. - SpringerBriefs in philosophy,2211-4548. - SpringerBriefs in physics..

Includes bibliographical references and index.

ISBN: 9783319021706 (pbk.) :NT2015Subjects--Topical Terms:

579943
Proof theory.

LC Class. No.: QA9.54 / .H67 2014

Where is the Gödel-point hiding : = Gentzen's consistency proof of 1936 and his representation of constructive ordinals /
LDR:00749cam a2200205 a 4500 001 789159
005 20140923141307.0
008 141028s2014 sz a 001 0 eng d
020 $a 9783319021706 (pbk.) : $c NT2015
020 $a 3319021702 (pbk.)
020 $a 9783319021713 (online)
035 $a PromptCat batch update 2014.03.07
035 $a 865465248
040 $a OHX $b eng $c OHX $d CDX $d UtOrBLW
041 0 # $a eng
050 # 4 $a QA9.54 $b .H67 2014
100 1 $a Horska, Anna. $3 985292
245 1 0 $a Where is the Gödel-point hiding : $b Gentzen's consistency proof of 1936 and his representation of constructive ordinals / $c Anna Horska.
260 # $a Cham : $c c2014. $b Springer,
300 $a ix, 77 p. : $b ill. ; $c 24 cm.
490 1 $a SpringerBriefs in philosophy, $x 2211-4548
504 $a Includes bibliographical references and index.
650 # 0 $a Proof theory. $3 579943
650 # 0 $a Numbers, Ordinal. $3 985293
650 # 0 $a Gödel numbers. $3 985294
830 0 $a SpringerBriefs in physics. $3 881747