東華大學圖書館 |

語系: 繁體中文

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Functional interpretations : = From ...

Diller, Justus.

FindBook

Amazon

博客來

Functional interpretations : = From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory / /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Functional interpretations :/ Justus Diller.
其他題名:	From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory / /
作者:	Diller, Justus.
出版者:	Singaore ;World Scientific Publishing Co. Pte. Ltd., : c2020.,
面頁冊數:	viii, 237 p. ;24 cm.
內容註:	Arithmetic -- Analysis -- Set theory.
標題:	Logic, Symbolic and mathematical. -
ISBN:	9789814551397

Functional interpretations : = From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory / /
Diller, Justus.

Functional interpretations :From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory / /Justus Diller. - Singaore ;World Scientific Publishing Co. Pte. Ltd.,c2020. - viii, 237 p. ;24 cm.

Includes bibliographical references and index.

Arithmetic -- Analysis -- Set theory.

ISBN: 9789814551397US98

LCCN: 2019044512Subjects--Topical Terms:

532051
Logic, Symbolic and mathematical.

LC Class. No.: QA9.A58 / D55 2020

Dewey Class. No.: 511.3/22

Functional interpretations : = From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory / /
LDR:00860cam a2200229 a 4500 001 2222102
003 OCoLC
005 20210313030002.0
008 210107s2020 si b 001 0 eng
010 $a 2019044512
020 $a 9789814551397 $q (hbk.) : $c US98
020 $a 9814551392 $q (hbk.)
020 $z 9789814551403 $q (electronic book)
035 $a (OCoLC)1131897999 $z (OCoLC)1133154277
040 $a LBSOR/DLC $b eng $c DLC $d OCLCO $d OCLCF $d QGK $d UIU $d YDX $d UKMGB
042 $a pcc
050 0 0 $a QA9.A58 $b D55 2020
082 0 0 $a 511.3/22 $2 23
100 1 $a Diller, Justus. $3 3469118
245 1 0 $a Functional interpretations : $b From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory / / $c Justus Diller.
260 # $a Singaore ; $a Hackensack, NJ : $b World Scientific Publishing Co. Pte. Ltd., $c c2020.
300 $a viii, 237 p. ; $c 24 cm.
504 $a Includes bibliographical references and index.
505 0 # $a Arithmetic -- Analysis -- Set theory.
650 # 0 $a Logic, Symbolic and mathematical. $3 532051
650 # 0 $a Functionals. $3 525568
650 # 0 $a Set theory. $3 520081