國立高雄大學圖資館 |

Search result for [ subject:"Mathematical Logic and Foundations."]

444 records (0.04s)· Page 1 of 45 • 1 2 3 4 5 ... 45

1.

Great circle of mysteriesmathematics...

~
Gromov, Misha.
- Great circle of mysteriesmathematics, the world, the mind /
- by: Gromov, Misha.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Birkhauser,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2018
- ISBN: 9783319530482; 9783319530499
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.

Contradictions, from consistency to ...

~
Carnielli, Walter.
- Contradictions, from consistency to inconsistency
- by: Carnielli, Walter.; Malinowski, Jacek.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2018
- ISBN: 9783319987965; 9783319987972
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2018
- ISBN: 9783319787916; 9783319787930
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2019
- ISBN: 9783030289201; 9783030289218
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2019
- ISBN: 9783030263072; 9783030263096
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.

Introduction to discrete mathematics...

~
Jongsma, Calvin.
- Introduction to discrete mathematics via logic and proof
- by: Jongsma, Calvin.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2019
- ISBN: 9783030253578; 9783030253585
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.

Diagonalization in formal mathematics

~
Santos, Paulo Guilherme.
- Diagonalization in formal mathematics
- by: Santos, Paulo Guilherme.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer Spektrum,; Springer Fachmedien Wiesbaden :
- Place of Publication: Wiesbaden :
- Year of Publication: 2020
- ISBN: 9783658291105; 9783658291112
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.

Geometry

~
Alekseyevskaya, Tatiana.
- Geometry
- by: Alekseyevskaya, Tatiana.; Gelfand, Israel M.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Birkhauser,; Springer New York :
- Place of Publication: New York, NY :
- Year of Publication: 2020
- ISBN: 9781071602973; 9781071602997
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Singapore :
- Place of Publication: Singapore :
- Year of Publication: 2019
- ISBN: 9789811399480; 9789811399497
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.

Recent trends in philosophical logic

~
Ciuni, Roberto.
- Recent trends in philosophical logic
- by: Ciuni, Roberto.; SpringerLink (Online service); Wansing, Heinrich.; Willkommen, Caroline.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2014
- ISBN: 9783319060798; 9783319060804
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items