國立高雄大學圖資館 |

Search result for [ subject:"Algebraic logic."]

12 records (0.034s)· Page 1 of 2 • 1 2

1.
- Logics of variable inclusion
- by: Bonzio, Stefano.; Paoli, Francesco.; Pra Baldi, Michele.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2022
- ISBN: 9783031042966; 9783031042973
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.
- Universal algebraic logicdedicated to the unity of science /
- by: Andreka, H.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Birkhäuser,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2022
- ISBN: 9783031148866; 9783031148873
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.

Simple relation algebras

~
Andreka, Hajnal.
- Simple relation algebras
- by: Andreka, Hajnal.; Givant, Steven.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2017
- ISBN: 9783319676951; 9783319676968
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.
- Janusz Czelakowski on logical consequence
- by: Czelakowski, Janusz.; Malinowski, Jacek.; Palczewski, Rafal.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2024
- ISBN: 9783031444890; 9783031444906
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.
- Ernst Schröder on algebra and logic
- by: Pollard, Stephen.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2022
- ISBN: 9783031056703; 9783031056710
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.

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.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2021
- ISBN: 9783030641863; 9783030641870
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.

The equationally-defined commutatora...

~
Czelakowski, Janusz.
- The equationally-defined commutatora study in equational logic and algebra /
- by: Czelakowski, Janusz.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Birkhauser,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2015
- ISBN: 9783319211992; 9783319212005
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.

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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2018
- ISBN: 9783319747712; 9783319747729
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.

Proof theory and algebra in logic

~
Ono, Hiroakira.
- Proof theory and algebra in logic
- by: Ono, Hiroakira.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Singapore :
- Place of Publication: Singapore :
- Year of Publication: 2019
- ISBN: 9789811379963; 9789811379970
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.

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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2015
- ISBN: 9783319171081; 9783319171098
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items