語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
連至 進階查詢
**縮小範圍
書目性質:
全系統記錄
圖書
期刊
分析
合集
資料類型:
全系統記錄
一般圖書
期刊
散本過刊(東方語文)
散本過刊(東方語文)
散本過刊(西文)
樂譜
錄音帶
附件(非電腦檔)
視聽教學外借
視聽團體室
雷射唱片(CD)
光碟資料庫
書所附之電腦檔
電子書
館際互借卡
多媒體組件
影音光碟
地圖(單張)
電腦檔
中西日文參考書
研究小間
研究小間(1天)
幻燈單片,捲片
討論室
學位論文
投影片
光碟片(VIDEO)
錄影帶
光碟期刊
測試用
查找有館藏的資料
精確檢索
關連的主題
10
20
50
關連性 (由小到大)
主題 (由小到大)
主題 (由大到小)
書刊名 (由小到大)
書刊名 (由大到小)
作者 (由小到大)
作者 (由大到小)
出版地 (由小到大)
出版地 (由大到小)
出版年 (由小到大)
出版年 (由大到小)
ISBN/ISSN (由小到大)
ISBN/ISSN (由大到小)
作者 (由小到大)
作者 (由大到小)
語言 (由小到大)
語言 (由大到小)
系統識別號 (由小到大)
系統識別號 (由大到小)
集叢 (由小到大)
集叢 (由大到小)
正題名 (由小到大)
正題名 (由大到小)
版本項 (由小到大)
版本項 (由大到小)
ISBN (由小到大)
ISBN (由大到小)
ISSN (由小到大)
ISSN (由大到小)
內容註 (由小到大)
內容註 (由大到小)
出版者 (由小到大)
出版者 (由大到小)
評價 (由小到大)
評價 (由大到小)
查詢結果
[ subject:"Mathematical Logic and Foundations."]
398 筆 (0.04s)
·
頁 1 of 40
•
1
2
3
4
5
...
40
1
.
Great circle of mysteriesmathematics...
~
Gromov, Misha.
Great circle of mysteriesmathematics, the world, the mind /
by:
Gromov, Misha.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Birkhauser,; Springer International Publishing :
出版地:
Cham :
出版年:
2018
ISBN:
9783319530482; 9783319530499
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
2
.
Contradictions, from consistency to ...
~
Carnielli, Walter.
Contradictions, from consistency to inconsistency
by:
Carnielli, Walter.; Malinowski, Jacek.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2018
ISBN:
9783319987965; 9783319987972
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
3
.
Exploring Meinong's jungle and beyon...
~
Eckert, Maureen.
Exploring Meinong's jungle and beyondthe Sylvan jungle.Volume 1 /
by:
Eckert, Maureen.; Routley, Richard.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2018
ISBN:
9783319787916; 9783319787930
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
4
.
A model-theoretic approach to proof ...
~
Adamowicz, Zofia.
A model-theoretic approach to proof theory
by:
Adamowicz, Zofia.; Bigorajska, Teresa.; Kotlarski, Henryk.; SpringerLink (Online service); Zdanowski, Konrad.
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2019
ISBN:
9783030289201; 9783030289218
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
5
.
Noneist explorations.with supplement...
~
Hyde, Dominic.
Noneist explorations.with supplementary essaysI,The Sylvan Jungle - Volume 2 :
by:
Hyde, Dominic.; Routley, Richard.; Routley, Val.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2019
ISBN:
9783030263072; 9783030263096
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
6
.
Introduction to discrete mathematics...
~
Jongsma, Calvin.
Introduction to discrete mathematics via logic and proof
by:
Jongsma, Calvin.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2019
ISBN:
9783030253578; 9783030253585
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
7
.
Diagonalization in formal mathematics
~
Santos, Paulo Guilherme.
Diagonalization in formal mathematics
by:
Santos, Paulo Guilherme.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer Spektrum,; Springer Fachmedien Wiesbaden :
出版地:
Wiesbaden :
出版年:
2020
ISBN:
9783658291105; 9783658291112
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
8
.
Geometry
~
Alekseyevskaya, Tatiana.
Geometry
by:
Alekseyevskaya, Tatiana.; Gelfand, Israel M.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Birkhauser,; Springer New York :
出版地:
New York, NY :
出版年:
2020
ISBN:
9781071602973; 9781071602997
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
9
.
Incompleteness for higher-order arit...
~
Cheng, Yong.
Incompleteness for higher-order arithmetican example based on Harrington's principle /
by:
Cheng, Yong.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer Singapore :
出版地:
Singapore :
出版年:
2019
ISBN:
9789811399480; 9789811399497
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
10
.
Recent trends in philosophical logic
~
Ciuni, Roberto.
Recent trends in philosophical logic
by:
Ciuni, Roberto.; SpringerLink (Online service); Wansing, Heinrich.; Willkommen, Caroline.
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2014
ISBN:
9783319060798; 9783319060804
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
小鍵盤
Close
符號表
Close
ş
Ş
ţ
Ţ
ă
Ă
â
Â
î
Î
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
丐
丠
丰
乀
乐
习
买
亀
亐
亠
亰
什
仐
仠
仰
丁
丑
両
丱
乁
乑
乡
乱
亁
云
亡
亱
仁
仑
仡
仱
儲存至 管理 > OPAC > SDI維護
Export
取書館別
處理中
...
變更密碼
登入