語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Don Pigozzi on Abstract Algebraic Lo...
~
Czelakowski, Janusz.
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science/ edited by Janusz Czelakowski.
其他作者:
Czelakowski, Janusz.
面頁冊數:
XXXIII, 454 p.online resource. :
Contained By:
Springer Nature eBook
標題:
Logic. -
電子資源:
https://doi.org/10.1007/978-3-319-74772-9
ISBN:
9783319747729
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
[electronic resource] /edited by Janusz Czelakowski. - 1st ed. 2018. - XXXIII, 454 p.online resource. - Outstanding Contributions to Logic,162211-2758 ;. - Outstanding Contributions to Logic,7.
Chapter 1. A Mathematical Life (Don Pigozzi) -- Chapter 2. Assertional Logics, Truth-equational Logics, and the Hierarchies of Abstract Algebraic Logic (Hugo Albuquerque) -- Chapter 3. Deduction-Detachment Theorem and Gentzen-Style Deductive Systems (Sergey Babenyshev) -- Chapter 4. Introducing Boolean Semilattices (Clifford Bergman) -- Chapter 5. The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras (Janusz Czelakowski).
This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozzi’s scientific output and discusses his impact on the development of science. The book both catalogues his works and offers an extensive profile of Pigozzi as a person, sketching the most important events, not only related to his scientific activity, but also from his personal life. It reflects Pigozzi's contribution to the rise and development of areas such as abstract algebraic logic (AAL), universal algebra and computer science, and introduces new scientific results. Some of the papers also present chronologically ordered facts relating to the development of the disciplines he contributed to, especially abstract algebraic logic. The book offers valuable source material for historians of science, especially those interested in history of mathematics and logic.
ISBN: 9783319747729
Standard No.: 10.1007/978-3-319-74772-9doiSubjects--Topical Terms:
558909
Logic.
LC Class. No.: BC1-199
Dewey Class. No.: 160
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
LDR
:02841nam a22004095i 4500
001
994832
003
DE-He213
005
20200705110427.0
007
cr nn 008mamaa
008
201225s2018 gw | s |||| 0|eng d
020
$a
9783319747729
$9
978-3-319-74772-9
024
7
$a
10.1007/978-3-319-74772-9
$2
doi
035
$a
978-3-319-74772-9
050
4
$a
BC1-199
072
7
$a
HPL
$2
bicssc
072
7
$a
PHI011000
$2
bisacsh
072
7
$a
QDTL
$2
thema
082
0 4
$a
160
$2
23
245
1 0
$a
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
$h
[electronic resource] /
$c
edited by Janusz Czelakowski.
250
$a
1st ed. 2018.
264
1
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2018.
300
$a
XXXIII, 454 p.
$b
online resource.
336
$a
text
$b
txt
$2
rdacontent
337
$a
computer
$b
c
$2
rdamedia
338
$a
online resource
$b
cr
$2
rdacarrier
347
$a
text file
$b
PDF
$2
rda
490
1
$a
Outstanding Contributions to Logic,
$x
2211-2758 ;
$v
16
505
0
$a
Chapter 1. A Mathematical Life (Don Pigozzi) -- Chapter 2. Assertional Logics, Truth-equational Logics, and the Hierarchies of Abstract Algebraic Logic (Hugo Albuquerque) -- Chapter 3. Deduction-Detachment Theorem and Gentzen-Style Deductive Systems (Sergey Babenyshev) -- Chapter 4. Introducing Boolean Semilattices (Clifford Bergman) -- Chapter 5. The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras (Janusz Czelakowski).
520
$a
This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozzi’s scientific output and discusses his impact on the development of science. The book both catalogues his works and offers an extensive profile of Pigozzi as a person, sketching the most important events, not only related to his scientific activity, but also from his personal life. It reflects Pigozzi's contribution to the rise and development of areas such as abstract algebraic logic (AAL), universal algebra and computer science, and introduces new scientific results. Some of the papers also present chronologically ordered facts relating to the development of the disciplines he contributed to, especially abstract algebraic logic. The book offers valuable source material for historians of science, especially those interested in history of mathematics and logic.
650
0
$a
Logic.
$3
558909
650
0
$a
Mathematical logic.
$2
bicssc
$3
810627
650
2 4
$a
Mathematical Logic and Foundations.
$3
669393
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
670059
700
1
$a
Czelakowski, Janusz.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
1069846
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783319747712
776
0 8
$i
Printed edition:
$z
9783319747736
776
0 8
$i
Printed edition:
$z
9783030090746
830
0
$a
Outstanding Contributions to Logic,
$x
2211-2758 ;
$v
7
$3
1253494
856
4 0
$u
https://doi.org/10.1007/978-3-319-74772-9
912
$a
ZDB-2-REP
912
$a
ZDB-2-SXPR
950
$a
Religion and Philosophy (SpringerNature-41175)
950
$a
Philosophy and Religion (R0) (SpringerNature-43725)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入