Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
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 /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Where is the Gödel-point hiding :/ Anna Horska.
Reminder of title:
Gentzen's consistency proof of 1936 and his representation of constructive ordinals /
Author:
Horska, Anna.
Published:
Cham :Springer, : c2014.,
Description:
ix, 77 p. :ill. ; : 24 cm.;
Subject:
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
Gödel numbers.
$3
985294
830
0
$a
SpringerBriefs in physics.
$3
881747
based on 0 review(s)
ALL
圖書館3F 書庫
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
E040676
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
511.36 H817 2014
一般使用(Normal)
On shelf
0
Reserve
1 records • Pages 1 •
1
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login