|
|
|
|
LEADER |
03389nam a2200493 4500 |
001 |
978-3-319-74772-9 |
003 |
DE-He213 |
005 |
20191025192018.0 |
007 |
cr nn 008mamaa |
008 |
180320s2018 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
|
040 |
|
|
|d GrThAP
|
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.
|
650 |
|
0 |
|a Mathematical logic.
|
650 |
1 |
4 |
|a Logic.
|0 http://scigraph.springernature.com/things/product-market-codes/E16000
|
650 |
2 |
4 |
|a Mathematical Logic and Foundations.
|0 http://scigraph.springernature.com/things/product-market-codes/M24005
|
650 |
2 |
4 |
|a Mathematical Logic and Formal Languages.
|0 http://scigraph.springernature.com/things/product-market-codes/I16048
|
700 |
1 |
|
|a Czelakowski, Janusz.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer eBooks
|
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 16
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-319-74772-9
|z Full Text via HEAL-Link
|
912 |
|
|
|a ZDB-2-REP
|
950 |
|
|
|a Religion and Philosophy (Springer-41175)
|