國立高雄大學圖資館 |

查詢結果 [ subject:"Structures and Proofs."]

11 筆 (0.036s)· 頁 1 of 2 • 1 2

1.

An introduction to the language of m...

~
Mynard, Frederic.
- An introduction to the language of mathematics
- by: Mynard, Frederic.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2018
- ISBN: 9783030006402; 9783030006419
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.

Sets, models and proofs

~
Moerdijk, Ieke.
- Sets, models and proofs
- by: Moerdijk, Ieke.; Oosten, Jaap van.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2018
- ISBN: 9783319924137; 9783319924144
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.

Structures meressemantics, mathemati...

~
Peruzzi, Alberto.
- Structures meressemantics, mathematics, and cognitive science /
- by: Peruzzi, Alberto.; SpringerLink (Online service); Zipoli Caiani, Silvano.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2020
- ISBN: 9783030518202; 9783030518219
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.

Logical skillssocial-historical pers...

~
Brumberg-Chaumont, Julie.
- Logical skillssocial-historical perspectives /
- by: Brumberg-Chaumont, Julie.; Rosental, Claude.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Birkhauser,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2021
- ISBN: 9783030584450; 9783030584467
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.

Language, logic, and mathematics in ...

~
Lemanski, Jens.
- Language, logic, and mathematics in Schopenhauer
- by: Lemanski, Jens.; Schopenhauer, Arthur, (1788-1860.); SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Birkhauser,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2020
- ISBN: 9783030330897; 9783030330903
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.

Algebraic perspectives on substructu...

~
Fazio, Davide.
- Algebraic perspectives on substructural logics
- by: Fazio, Davide.; Ledda, Antonio.; Paoli, Francesco.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2021
- ISBN: 9783030521622; 9783030521639
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.

Sequents and treesan introduction to...

~
Indrzejczak, Andrzej.
- Sequents and treesan introduction to the theory and applications of propositional sequent calculi /
- by: Indrzejczak, Andrzej.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Birkhauser,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2021
- ISBN: 9783030571443; 9783030571450
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.

Arabic logic from al-Farabi to Averr...

~
Chatti, Saloua.
- Arabic logic from al-Farabi to Averroesa study of the early Arabic categorical, modal, and hypothetical syllogistics /
- by: Chatti, Saloua.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Birkhauser,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2019
- ISBN: 9783030274658; 9783030274665
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.

Proof technology in mathematics rese...

~
De Villiers, Michael.
- Proof technology in mathematics research and teaching
- by: De Villiers, Michael.; Hanna, Gila.; Reid, David A.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2019
- ISBN: 9783030284824; 9783030284831
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

Discrete mathematics and graph theor...

~
Erciyes, K.
- Discrete mathematics and graph theorya concise study companion and guide /
- by: Erciyes, K.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2021
- ISBN: 9783030611149; 9783030611156
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

書目性質:
資料類型:
查找有館藏的資料