Language:
English
繁體中文
Help
圖資館首頁
Login
Go To Advanced Search
Options
Bibliographic level:
All records
Book
Serial
Analytic
Collection
Material type:
All records
一般圖書
期刊
散本過刊(東方語文)
散本過刊(東方語文)
散本過刊(西文)
樂譜
錄音帶
附件(非電腦檔)
視聽教學外借
視聽團體室
雷射唱片(CD)
光碟資料庫
書所附之電腦檔
電子書
館際互借卡
多媒體組件
影音光碟
地圖(單張)
電腦檔
中西日文參考書
研究小間
研究小間(1天)
幻燈單片,捲片
討論室
學位論文
投影片
光碟片(VIDEO)
錄影帶
光碟期刊
測試用
Only with items
Refine search
Associated Subjects
10
20
50
Relevance (A-Z)
Subjects (A-Z)
Subjects (Z-A)
All Titles (A-Z)
All Titles (Z-A)
All Authors (A-Z)
All Authors (Z-A)
Place of publication (A-Z)
Place of publication (Z-A)
Year of publication (A-Z)
Year of publication (Z-A)
ISBN/ISSN (A-Z)
ISBN/ISSN (Z-A)
Person name (A-Z)
Person name (Z-A)
Language (A-Z)
Language (Z-A)
RID (A-Z)
RID (Z-A)
Series (A-Z)
Series (Z-A)
Proper title (A-Z)
Proper title (Z-A)
Edition Statement (A-Z)
Edition Statement (Z-A)
ISBN (A-Z)
ISBN (Z-A)
ISSN (A-Z)
ISSN (Z-A)
Content Notes (A-Z)
Content Notes (Z-A)
Publisher (A-Z)
Publisher (Z-A)
Rating (A-Z)
Rating (Z-A)
Search result for
[ subject:"Mathematical Logic and Formal Languages."]
1374 records (0.043s)
·
Page 1 of 138
•
1
2
3
4
5
...
138
1
.
Ordinal analysis with an introductio...
~
Arai, Toshiyasu.
Ordinal analysis with an introduction to proof theory
by:
Arai, Toshiyasu.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer Singapore :
Place of Publication:
Singapore :
Year of Publication:
2020
ISBN:
9789811564581; 9789811564598
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
2
.
Logic, rationality, and interaction6...
~
(1998 :)
Logic, rationality, and interaction6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings /
by:
(1998 :); Baltag, Alexandru.; Seligman, Jeremy.; SpringerLink (Online service); Yamada, Tomoyuki.
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer Berlin Heidelberg :
Place of Publication:
Berlin, Heidelberg :
Year of Publication:
2017
ISBN:
9783662556641; 9783662556658
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
3
.
Logics in artificial intelligence11t...
~
(1998 :)
Logics in artificial intelligence11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
by:
(1998 :); Holldobler, Steffen, (1957-); Lutz, Carsten.; SpringerLink (Online service); Wansing, H.; Wansing, Heinrich.
Language materials, printed
: Monograph/item
Publisher:
Springer-Verlag Berlin Heidelberg,
Place of Publication:
Berlin, Heidelberg :
Year of Publication:
2008
ISBN:
9783540878025; 9783540878032
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
4
.
Modalities and multimodalitieswith t...
~
Carnielli, Walter.
Modalities and multimodalitieswith the assistance and collaboration of Juliana Bueno-Soler /
by:
Carnielli, Walter.; Pizzi, Claudio.; SpringerLink (Online service)
Language materials, printed
: Monograph/item
Publisher:
Springer Science + Business Media B.V,
Place of Publication:
Dordrecht :
Year of Publication:
2008
ISBN:
9781402085895; 9781402085901
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
5
.
Philosophical logiccurrent trends in...
~
Lee, Kok Yong.
Philosophical logiccurrent trends in Asia : proceedings of AWPL-TPLC 2016 /
by:
Lee, Kok Yong.; Ono, Hiroakira.; SpringerLink (Online service); Yang, Syraya Chin-Mu.
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer Singapore :
Place of Publication:
Singapore :
Year of Publication:
2017
ISBN:
9789811063541; 9789811063558
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
6
.
Feferman on foundationslogic, mathem...
~
Jager, Gerhard.
Feferman on foundationslogic, mathematics, philosophy /
by:
Jager, Gerhard.; Sieg, Wilfried.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2017
ISBN:
9783319633329; 9783319633343
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
7
.
An introduction to the technique of ...
~
Cantone, Domenico.
An introduction to the technique of formative processes in set theory
by:
Cantone, Domenico.; SpringerLink (Online service); Ursino, Pietro.
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2018
ISBN:
9783319747774; 9783319747781
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
8
.
Modeling companion for software prac...
~
Borger, Egon.
Modeling companion for software practitioners
by:
Borger, Egon.; Raschke, Alexander.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer Berlin Heidelberg :
Place of Publication:
Berlin, Heidelberg :
Year of Publication:
2018
ISBN:
9783662566398; 9783662566411
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
9
.
Semigroups in complete latticesquant...
~
Eklund, Patrik.
Semigroups in complete latticesquantales, modules and related topics /
by:
Eklund, Patrik.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2018
ISBN:
9783319789477; 9783319789484
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
10
.
Rough setsInternational Joint Confer...
~
(1998 :)
Rough setsInternational Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018 : proceedings /
by:
(1998 :); Nguyen, Hung Son.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2018
ISBN:
9783319993676; 9783319993683
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
Diacritics
Close
Diacritics
Close
ş
Ş
ţ
Ţ
ă
Ă
â
Â
î
Î
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
丐
丠
丰
乀
乐
习
买
亀
亐
亠
亰
什
仐
仠
仰
丁
丑
両
丱
乁
乑
乡
乱
亁
云
亡
亱
仁
仑
仡
仱
Save to Personal SDI
Export
pickup library
Processing
...
Change password
Login