國立高雄大學圖資館 |

查詢結果 [ subject:"Algebraic logic."]

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

1.
- Logics of variable inclusion
- by: Bonzio, Stefano.; Paoli, Francesco.; Pra Baldi, Michele.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2022
- ISBN: 9783031042966; 9783031042973
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.
- Universal algebraic logicdedicated to the unity of science /
- by: Andreka, H.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Birkhäuser,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2022
- ISBN: 9783031148866; 9783031148873
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.

Simple relation algebras

~
Andreka, Hajnal.
- Simple relation algebras
- by: Andreka, Hajnal.; Givant, Steven.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2017
- ISBN: 9783319676951; 9783319676968
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.
- Ernst Schröder on algebra and logic
- by: Pollard, Stephen.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2022
- ISBN: 9783031056703; 9783031056710
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.

Hajnal Andreka and Istvan Nemeti on ...

~
Madarasz, Judit.
- Hajnal Andreka and Istvan Nemeti on unity of sciencefrom computing to relativity theory through algebraic logic /
- by: Madarasz, Judit.; SpringerLink (Online service); Szekely, Gergely.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2021
- ISBN: 9783030641863; 9783030641870
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.

The equationally-defined commutatora...

~
Czelakowski, Janusz.
- The equationally-defined commutatora study in equational logic and algebra /
- by: Czelakowski, Janusz.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Birkhauser,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2015
- ISBN: 9783319211992; 9783319212005
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.

Don Pigozzi on abstract algebraic lo...

~
Czelakowski, Janusz.
- Don Pigozzi on abstract algebraic logic, universal algebra, and computer science
- by: Czelakowski, Janusz.; Pigozzi, Don, (1935-); SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2018
- ISBN: 9783319747712; 9783319747729
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.

Proof theory and algebra in logic

~
Ono, Hiroakira.
- Proof theory and algebra in logic
- by: Ono, Hiroakira.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Singapore :
- 出版地: Singapore :
- 出版年: 2019
- ISBN: 9789811379963; 9789811379970
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.

Functions and generality of logicref...

~
Benis-Sinaceur, Hourya.
- Functions and generality of logicreflections on Dedekind's and Frege's logicisms /
- by: Benis-Sinaceur, Hourya.; Cantor, Georg, (1845-1918.); Frege, Gottlob, (1848-1925.); Panza, Marco.; Sandu, Gabriel.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2015
- ISBN: 9783319171081; 9783319171098
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

Non-commutative multiple-valued logi...

~
Ciungu, Lavinia Corina.
- Non-commutative multiple-valued logic algebras
- by: Ciungu, Lavinia Corina.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2014
- ISBN: 9783319015880; 9783319015897
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

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