Ewa Orłowska on Relational Methods in Logic and Computer Science

• Συγγραφή απο Οργανισμό/Αρχή: 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
• Θέματα: Logic.; Mathematical logic.; Computer science-Mathematics.; Computer mathematics.; Computer logic.; Mathematical Logic and Formal Languages.; Mathematical Applications in Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Foundations.
• Φυσική περιγραφή: XVIII, 502 p. 143 illus., 7 illus. in color. online resource.
• ISBN: 9783319978796
• ISSN: 2211-2758 ;
• DOI: 10.1007/978-3-319-97879-6

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 to many fields of logic, such as proof theory, algebraic methods in logic and knowledge representation, and her work has been published in 3 monographs and over 100 articles in internationally acclaimed journals and conference proceedings. The book also includes Prof. Orłowska's autobiography, bibliography and a trialogue between her and the editors of the volume, as well as contributors' biographical notes, and is suitable for scholars and students of logic who are interested in understanding more about Prof. Orłowska's work.