國立高雄大學圖資館 |

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)

Bibliographic level:
Material type:
Only with items