Ewa Orłowska on Relational Methods in Logic and Computer Science
This book is a tribute to Professor Ewa Orłowska, a Polish logician who was celebrating the 60th year of her scientific career in 2017. It offers a collection of contributed papers by different authors and covers the most important areas of her research. Prof. Orłowska made significant contributions...
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | Golińska-Pilarek, Joanna (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Zawidzki, Michał (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
Έκδοση: | 1st ed. 2018. |
Σειρά: | Outstanding Contributions to Logic,
17 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
New Essays on Belnap-Dunn Logic
Έκδοση: (2019) -
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Έκδοση: (2018) -
Mathesis Universalis, Computability and Proof
Έκδοση: (2019) -
Heyting Algebras Duality Theory /
ανά: Esakia, Leo, κ.ά.
Έκδοση: (2019) -
Graham Priest on Dialetheism and Paraconsistency
Έκδοση: (2019)